k23-buck2
This repository has no description
Star
Fork
Watch

Commits on main

JonasKruckenberg
add CI workflows
committed
JonasKruckenberg
add forked buck2 to flake
committed
JonasKruckenberg
split up buckfiles
committed
JonasKruckenberg
add loader linker script
committed
JonasKruckenberg
move kernel and loader sources
committed
JonasKruckenberg
initial k23_image rule
committed
JonasKruckenberg
add `just run` alias for running system under QEMU
committed
JonasKruckenberg
Revert "debugger rule"
committed
JonasKruckenberg
update to new buck2 build
committed
JonasKruckenberg
debugger rule
committed
JonasKruckenberg
QEMU rule
committed
JonasKruckenberg
improve justfile
committed
JonasKruckenberg
chore: rename platforms to config
committed
JonasKruckenberg
docs: generate docs for kcfg config options
committed
JonasKruckenberg
docs: build mdbook with buck2
committed
JonasKruckenberg
typed configuration system and basic target platform definitions
committed
JonasKruckenberg
cleanup
committed
JonasKruckenberg
add k23_config system
committed
JonasKruckenberg
miri tests
committed
JonasKruckenberg
cleanup
committed
JonasKruckenberg
remove .DS_Store
committed
JonasKruckenberg
add buck2 techniques overview
committed
JonasKruckenberg
readme cleanup
committed
JonasKruckenberg
revert k prefix naming
committed
JonasKruckenberg
cleanup
committed
JonasKruckenberg
fix kernel panic build
committed
JonasKruckenberg
cleanup
committed
JonasKruckenberg
fix tests
committed
JonasKruckenberg
wip
committed
JonasKruckenberg
wip
committed
JonasKruckenberg
initial setup
committed