|
|
|
|
|
|
by Rochus
218 days ago
|
|
|
Ironclad isn't a microkernel, is it? At least the device drivers, file system and network stack seem to run in kernel space. I didn't find any strong architectural hints pointing to microkernel design in the implementation so far. |
|
|