|
|
|
|
|
|
by pgeorgi
4189 days ago
|
|
|
consider inviting the muen developers (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. |
|
|