Lunar Small experimental kernel. (It's really stupid) Currently only supports x86_64 and riscv64 (rv64gc) but may support other architectures in the future. Lunar is booted via Theia, its prekernel, and is built as part of Terra (the system distribution)
