Very good interview! Thanks both Pedro and Charles.
One thing I'm curious is what development tools you guys in the kernel world use.
We in the user mode world use Visual Studio with its convenience and facilities; but when you are writing code for the kernel, what are your tools? What editors do you use? What debuggers? Is there a special build of the C compiler for kernel mode, or do you use our classical "user mode" cl.exe?
A video on "development tools for kernel mode devs" would be interesting.