4 ms·
They implement a Nizza-like architecture to let you choose how much risk you want for each part of your stack: https://os.inf.tu-dresden.de/papers_ps/nizza.pdf
by nickpsecurity 8y ago
They implement a Nizza-like architecture to let you choose how much risk you want for each part of your stack:
https://os.inf.tu-dresden.de/papers_ps/nizza.pdf https://os.inf.tu-dresden.de/papers_ps/nizza.pdf
It's also designed to allow separation kernels to be used in foundation. There's been quite a few of them:
https://arxiv.org/pdf/1701.01535 https://arxiv.org/pdf/1701.01535
- posix_me_less 8y agoDo you think it is feasible, for a poweruser who can setup and debug linux installations, to setup and use GenodeOS or sel4 as of today as a main workstation with X applications on the level of Xfce, Firefox? (days, or months, or not at all?)
- nickpsecurity 8y agoI haven't used the recent version. Try it out. Tell us how well it works or doesnt. Preferably on hardware you know is supported.
- lsofzz 8y ago> Do you think it is feasible, for a poweruser who can setup and debug linux installations, to setup and use GenodeOS or sel4 as of today as a main workstation with X applications on the level of Xfce, Firefox? (days, or months, or not at all?) Coming from UNIX, used sculpt on QeMU just yesterday. Let me just say this - the exploration was pretty much just `meh`. But also - the devil is in the detail. I bet, if I read the documentation and then go back, I'll stop flaffing around too much and use it to do awesome things. I loved the ViM though ;)