A distributed operating system (currently) for the Raspberry Pi 3.

Developer documentation is provided via Readme files in each project subdirectory. To start browsing, go to the src directory.

• A cross compiler. Either:
  • gcc cross compiler for aarch64-elf.
  • clang
• Meson
• Ninja
• QEMU
• GDB for debugging (optional)

Using gcc:

meson setup --cross-file cross/aarch64-elf.ini --cross-file cross/gcc.ini build
meson install -C build

Using clang:

meson setup --cross-file cross/aarch64-elf.ini --cross-file cross/clang.ini build
meson install -C build

This will build the project and create the sysroot under build/sysroot

To run with QEMU:

./run

To run with QEMU and connect GDB:

./run -d

This will start and halt qemu, connect gdb and load the symbols. To continue, type c.