Open Issues Need Help
View All on GitHub TRUST-1/M5: TPM-sealed volume key, anti-rollback and machine identity on the physical Spark 23 days ago
help wanted area:kernel
Call for contributors: help build AIENOS (C kernel, Rust inference) about 1 month ago
help wanted
IPC and capability handles (typed kernel ABI) about 1 month ago
help wanted area:kernel
Topology-aware scheduler using MADT efficiency classes about 1 month ago
help wanted area:kernel
USB keyboard input in the early console (xHCI and HID) about 1 month ago
help wanted area:kernel emulator-ok
help wanted area:tooling needs-hardware
Why did UEFI PCI discovery miss the GB10 (10de:2e12)? about 1 month ago
help wanted area:gb10
Find the console UART from ACPI SPCR instead of GB10 discovery about 1 month ago
help wanted area:boot emulator-ok status:in-progress
GB10 characterization: BAR layout and firmware topology about 1 month ago
help wanted area:gb10
Generic timer and GICv3 interrupt bring-up about 1 month ago
help wanted area:kernel emulator-ok
MMU: AIENOS page tables replacing the firmware identity map about 1 month ago
help wanted area:kernel emulator-ok
Kernel exception vectors and fault reporting at EL2 about 1 month ago
help wanted area:kernel emulator-ok
Record whether post-exit screen drawing succeeded about 1 month ago
good first issue area:boot emulator-ok
Save the pre-exit BOOTREPORT.TXT reliably and record why it failed about 1 month ago
help wanted area:boot area:evidence emulator-ok
Run the QEMU boot test in CI on every pull request about 1 month ago
help wanted area:tooling emulator-ok