Tailix kernel
=============
Message queue with additional IPC capabilities implemented as microkernel.
* https://stackoverflow.com/a/6224824
* https://littleosbook.github.io/#paging-and-the-kernel