1. What do you do when you don't have specifications?

2. How does the developer test?

3. How does the trace system work?

4. Some question on Remzi's symbolic work few years ago(I did not know this one)

5. Comment: Useful for sound ALSA testing.

6. How does it compare to simics?

7. What about the device state?

8. How does symdrive know what to expect from the device?