Modelworks
Lifer
Genode has released a new livecd. Last year it was just a frame work for OS without any real substance but since then they have made a lot of progress.
Genode is still a framework for OS development at its core but that framework is very interesting. The livecd is the fastest loading OS I have ever seen, literrally by the time the disc starts to read the OS has loaded, about 5 seconds on my pc.
http://genode.org/
The way genode handles security is what all OS need. Instead of organizing things under user privileges where admin can do every thing but users are limited except for rights given to them , applications use a parent & child system. A parent is given resources by the kernel to execute with only access to its children.
Each child is free to create another process but its child can only access resources that are given to it by the current child. So you end up with a tree system where every application is isolated from each other.
http://genode.org/documentation/general-overview
Genode is still a framework for OS development at its core but that framework is very interesting. The livecd is the fastest loading OS I have ever seen, literrally by the time the disc starts to read the OS has loaded, about 5 seconds on my pc.
http://genode.org/
The way genode handles security is what all OS need. Instead of organizing things under user privileges where admin can do every thing but users are limited except for rights given to them , applications use a parent & child system. A parent is given resources by the kernel to execute with only access to its children.
Each child is free to create another process but its child can only access resources that are given to it by the current child. So you end up with a tree system where every application is isolated from each other.
http://genode.org/documentation/general-overview