Development tooling:
Many crates only build on Linux; on macOS lint and type check using
./clippy.sh --target x86_64-unknown-linux-musl
Coding guidelines:
Integration testing:
Prepare:
.github/scripts/download_kernel_images.sh \
test/.tmp/debian-kernels/<arch> <arch> [VERSIONS]...
Run:
find test/.tmp -name '*.deb' -print0 | xargs -0 -t sh -c \
  'cargo xtask integration-test vm --cache-dir test/.tmp "$@" -- <test-filter> [ARGS]...' _