Linked by Thom Holwerda on Wed 17th Oct 2012 23:48 UTC, submitted by poundsmack
Privacy, Security, Encryption Kaspersky is working on its own secure operating system for highly specialised tasks. "We're developing a secure operating system for protecting key information systems (industrial control systems) used in industry/infrastructure. Quite a few rumors about this project have appeared already on the Internet, so I guess it's time to lift the curtain (a little) on our secret project and let you know (a bit) about what's really going on." More here.
Thread beginning with comment 538936
To read all comments associated with this story, please click here.
Not exactly new?
by Gullible Jones on Thu 18th Oct 2012 01:33 UTC
Gullible Jones
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...

Reply Score: 3

RE: Not exactly new?
by fithisux on Thu 18th Oct 2012 09:30 in reply to "Not exactly new?"
fithisux Member since:
2006-01-22

The rise of microkernels. I believe contrary to Linus that uKernels and user space drivers are a good thing. It needs proper design though and support from hardware and devices.

Reply Parent Score: 5

RE[2]: Not exactly new?
by Gullible Jones on Thu 18th Oct 2012 11:32 in reply to "RE: Not exactly new?"
Gullible Jones Member since:
2006-05-23

Different roles IMO. Linux is a whopping big kernel with tons of features - good for servers and desktops, bad for realtime stuff or heavy-duty embedded use.

Linux is the sort of OS you run your server on. PikeOS is the sort of OS you run your Linux on.

Reply Parent Score: 2