Every time I learn more about seL4, I fall a bit more in love with it. Can't wait to see what people do in terms of integration over time. I think it would be

Every time I learn more about seL4, I fall a bit more in love with it. Can't wait to see what people do in terms of integration over time. I think it would be super cool to see L4Linux updated again, and on seL4 this time; maybe start shifting device drivers into tasks behind a low-overhead abstraction. We're going to have Linux and POSIX applications for a loooong time, but maybe we can make incremental progress toward something a bit less braindead.