[elysium-developers] Re: elysium-developers digest, Vol 1 #8 - 6 msgs

[Rogelio M. S. Jr. <ro...@ev...>]

>
> Elysium will be microkernel-based exokernel, so there will
> be so called LibOS'es on the top of Elysium kernel.
> The communication between LibOS'es and kernel could be implemented with
> dedicated system call or dedicated memory location in kernel for message
> passing.
>

A microkernel is different from an exokernel. We minimise abstractions in an
exokernel. That is why IPC is also in user space provided by the particular libos
that an application uses.