mirror of
https://github.com/RGBCube/serenity
synced 2026-01-13 00:31:07 +00:00
After building and running
objcopy -O binary Build/aarch64/Kernel/Prekernel/Prekernel \
/media/sdcard/kernel8.img
things start booting on an actual RPi4 :^)
(Assuming the sdcard contains RPi firmware, an empty config.txt,
and no other kernel*.img files).
|
||
|---|---|---|
| .. | ||
| Arch | ||
| CMakeLists.txt | ||
| init.cpp | ||
| Prekernel.h | ||
| UBSanitizer.cpp | ||