3 ms·
There are videos of talks on both Genode and OpenMirage from the OS conference I organized back in November [1] - I tried to get a Qubes talk too, hopefully thi
by justincormack 12y ago
There are videos of talks on both Genode and OpenMirage from the OS conference I organized back in November [1] - I tried to get a Qubes talk too, hopefully this year.
[1] https://operatingsystems.io/ https://operatingsystems.io/
- pgeorgi 12y agoconsider inviting the muen developers (http://muen.sk http://muen.sk). They work on a verified separation kernel, which is not exactly a "new way" (SKs have literature going back to the 60s, but so does nearly everything else on that list, too), but it's certainly not common knowledge these days.