L4::Pistachio uses kickstart to load it, the core kernel is contained in kernel, and the physical memory manager is stored in sigma0, I'm not even sure if it has a virtual memory manager.

Does OKL4 have a built in memory manager, and does it handle virtual memory?

Thank you.