Mill Computing, Inc. › Forums › The Mill › Architecture › Security › Reply To: Security
On the second thought, you don’t even need microkernel here. Genode has “hw” platform that uses hardware features to provide everything that’s usually done in kernel. And Mill might do really good with it.
