Mordax is a minimalistic microkernel for multiple platforms.