Reply to post: Re: CPU

Secure microkernel that uses maths to be 'bug free' goes open source

Tom 38

Re: CPU

Why assume anything? If they had proved all their hardware was secure, would you have lead with "I assume they've proved their kernel is secure too"?

Even if they haven't, it is one tick box off on the way to proving every component is secure, which is note- and praiseworthy surely?

POST COMMENT House rules

Not a member of The Register? Create a new account here.

  • Enter your comment

  • Add an icon

Anonymous cowards cannot choose their icon