Linked by Thom Holwerda on Wed 17th Oct 2012 23:48 UTC, submitted by poundsmack
Thread beginning with comment 538936
To read all comments associated with this story, please click here.
To read all comments associated with this story, please click here.
RE[2]: Not exactly new?
by Gullible Jones on Thu 18th Oct 2012 11:32
in reply to "RE: Not exactly new?"




Member since:
2006-05-23
The PikeOS microkernel is apparently designed for similar stuff, and is already formally verified.
Not that competition in the uber-secure embedded OS market would be in any way a bad thing, mind...