How to Build and Run K23

Prerequisites:

The following tools are required to build and run k23:

  • Rust - k23 is written entirely in Rust
  • just - Just is the simple command runner that k23 uses
  • QEMU - QEMU used to run the kernel in a virtual machine
  • Nix OPTIONAL - Nix is used to manage the development environment

Running

Type just to see the available actions to run. The one you are probably looking for is just run-riscv64 which will build k23 for riscv64 and run it inside QEMU. Note that this is currently just running a few basic tests and exits. Other actions include:

  • just preflight which will run all lints and checks
  • just run which will run k23 in QEMU