Hello folks,
We also discussed a little bit with Martin Děcký last year and it seemed that we raised some interest, so here we are!
Yes, I can confirm that. I was and I am still interested in the topic. Even if microkernel systems can certainly provide more isolation and protection to/against the device drivers than monolithic systems, any means of making the drivers correct-by-design and simplifying their actual development is helpful. Louis, I just suggest that you focus your talk a little bit more on the (potential) benefits of a device driver DSL specifically for the microkernel systems. Frankly, stressing in your abstract that a prominent case study of yours is based on Linux is just a bit provocative in the context of a microkernel devroom :) On the other hand, Christian, if we are not in a serious time pressure already, we might give the topic a chance (and a slot). I can even vouch for them in the sense that the HelenOS team is indeed interested in adopting a technology like this in the future -- as we strongly believe that implementing compatibility wrappers for Linux/*BSD/whatever device drivers is not the best thing to do. However, we do not chair this year's devroom, thus of course the final call is yours. M.D.