64-bit SMP-enabled operating system targeting x86_64 and RISC-V - View it on GitHub