If they have a proven secure Microkernel, I assume they've proved that their hardware (including CPU) are all secure too.
Not a member of The Register? Create a new account here.
Remember me on this computer? Post anonymously?