- Reusable crates list - for unikernel
- Reusable crates list - for monolithic kernel
- Reusable crates list - for hypervisor
- Reusable crates list - device drivers
| arch-platform name | Description |
|---|---|
| aarch64-bsta1000b | Black Sesame Technology A1000b SoC |
| aarch64-peripherals | Common peripheral drivers for ARM64 platforms |
| aarch64-phytium-pi | Phytium Pi board |
| aarch64-qemu-virt | QEMU ARM64 virtual machine |
| aarch64-raspi | Raspberry Pi 4B board |
| loongarch64-qemu-virt | QEMU LoongArch virtual machine |
| riscv64-qemu-virt | QEMU RISC-V virt board |
| x64-pc | x86-64 Standard PC machine. |