kernel/README.md

KernelMQ

Message queue with additional IPC capabilities implemented as microkernel.

• https://stackoverflow.com/a/6224824
• https://littleosbook.github.io/#paging-and-the-kernel