Issues
- 0
Enable higher-half kernel with TTBR1
#219 opened by berkus - 1
Explore: Add interrupt controller (ARM GICv3)
#27 opened by berkus - 0
Evaluate Profile-Guided Optimization (PGO)
#187 opened by zamazan4ik - 0
Explore: Add DTB parsing support
#43 opened by berkus - 1
Build `chainofcommand` on windows
#86 opened by berkus - 1
Add serial boot
#14 opened by berkus - 0
Add kernel syscall API and ABI
#57 opened by berkus - 0
Explore: Use of GATs
#51 opened by berkus - 0
Map kernel and init_thread space and enable MMU
#67 opened by berkus - 0
Add SEGGER RTT interface using `rtt-target` crate
#35 opened by berkus - 0
Explore: Advanced MMU management
#42 opened by berkus - 0
Reach parity with old unsorted branch
#13 opened by berkus - 0
Transfer documentation to appropriate places
#36 opened by berkus - 0
- 1
Rename asm! to llvm_asm!
#6 opened by berkus - 1
MMU: enable aarch64 mmu with identity paging
#4 opened by berkus - 5
Specify kernel API surface
#1 opened by berkus