Experimental microkernel for x86-64, ARM32 and ARM64 hardware, written in assembler, Rust and C