To build the kernel you will need to install a aarch64 GCC compiler, cmake
and mtools
:
- On Ubuntu, something like that:
Try to install the latest available version of GCC.
sudo apt install gcc-aarch64-linux-gnu make cmake mtools
- On macOS,
should suffice if you are on a M1/M2 CPU. [To be tested]
brew install gcc make cmake mtools
- On Windows, good luck. See MinGW or search internet.
Then, you just need you execute in the project directory:
# Change aarch64-linux-gnu- by whatever is named GCC for aarch64 on your system.
cmake -S . -Bbuild -DGCC_PREFIX=aarch64-linux-gnu- --toolchain=cmake/GCCToolchain.cmake
make -j -C build kernel-img
You can either run the kernel on real Raspberry PI (at least version 3 required) hardware.
Or use QEMU. First, you need to install it:
- On ubuntu,
sudo apt install qemu-system-arm
- On macOS,
brew install qemu
Then to run the kernel, just type:
# You may need to change qemu-system-aarch64 by whatever is QEMU for aarch64 is named on your computer.
qemu-system-aarch64 -M raspi3b -serial stdio -kernel build/kernel/kernel8.img -dtb doc/DeviceTree/pi3.dtb -device loader,file=build/binfs/fs.img,addr=0x18000000,force-raw=on
/
: The root/bin
: all the executables of the user space/bin/init
: ELF program for aarch, the first program started by the OS./bin/credits
: ELF program for aarch, displaying credits on screen/bin/slides
: ELF program for aarch, used for the presentation/bin/explorer
: ELF program for aarch, a file explorer
/wallpaper.jpg
: The window manager wallpaper./slides/
: The slides used by theslides
user program.