puzzle-os We are the group who developed puzzleos (a simple operating system kernel based on RISC-V implemented by Rust).