4 ms·

Absolutely, there's been various approaches researched in the past - and I've used Oberon before, really enjoyed it - I'm just curious as to why it doesn't seem

• nickpsecurity 10y ago
  Takes academics being paid to create it basically. Most academics just focus on getting papers published and citations. The number that will try to do useful stuff, esp OS's, are usually a rarity. Btw, here's a few: Active development with strong features: https://www.genode.org https://www.genode.org http://www.minix3.org/ http://www.minix3.org/ http://redox-os.org/ http://redox-os.org/ http://www4.cs.fau.de/Projects/JX/index.html http://www4.cs.fau.de/Projects/JX/index.html Older, less active, or inactive but still interesting http://www.xtreemos.eu/about/about-xtreemos/ http://www.xtreemos.eu/about/about-xtreemos/ https://sourceforge.net/projects/a2oberon/files/ https://sourceforge.net/projects/a2oberon/files/ http://www.eros-os.org/ http://www.eros-os.org/ https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheribsd.html https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri... http://fsd-amoeba.sourceforge.net/ http://fsd-amoeba.sourceforge.net/ So, there you go. THey don't all do what you describe. Some cool stuff worth emulating or building on in the pages above. Especially EROS or A2 Bluebottle for security and ease-of-picking-up respectively.
• signa11 10y ago
  > I'm just curious as to why it doesn't seem to happen any more. my _guess_ is that it is quite hard, and the payoff not so great, which would deter folks from venturing out too far. something similar to what happens in commercial space where a huge amount of energy is expended in enticing users to click advertisements etc.