The kernel itself is modeled as a protection domain in the OSmosis model, therefore the differences between
a μ−kernel and monolithic kernel should be visible in the model state. For instance, the VAS (virtual address
space) resource should be managed by the kernel in the case of a monolithic kernel and by a memory-management
protection domain in the case of a μ−kernel.
I think this is closely linked to two issues around
The kernel itself is modeled as a protection domain in the OSmosis model, therefore the differences between a μ−kernel and monolithic kernel should be visible in the model state. For instance, the VAS (virtual address space) resource should be managed by the kernel in the case of a monolithic kernel and by a memory-management protection domain in the case of a μ−kernel.
I think this is closely linked to two issues around
41 and #38