Kernel Next Repository for kernel component development and proof of concepts. Usage Build/run for an embedded device cargo build --example=nucleo_f446_dev cargo run --example=nucleo_f446_dev Run PC unit and integration tests cargo test --package=bern-kernel --target=x86_64-unknown-linux-gnu Run hardware integration tests cargo test --test=serial