How much do you want to bet? Of course, the kernel is hackable (just hack the hardware, done). But if you stay with what the claim actually is, not what the pr

How much do you want to bet? Of course, the kernel is hackable (just hack the hardware, done). But if you stay with what the claim actually is, not what the press writes about it, we can play. Download kernel and spec from [http://ertos.nicta.com.au/software/seL4/ http://ertos.nicta.com.au/software/seL4/] stay in the proof assumption space, described here [http://ertos.nicta.com.au/research/l4.verified/proof.pml http://ertos.nicta.com.au/research/l4.verified/proof.pml], and let us know if you can find a deviation from the spec, hacking or otherwise. Take as much time as you like. If yes, we'll be very interested to hear and I'm sure we can write a paper together that a lot of people want to know about. I usually don't have much time for trolling, but sometimes it's fun ;-) Cheers, Gerwin