Toy OS for the Raspberry Pi Model 3 B+. Projects for the course Operating System Capstone.

Each lab will be done (hopefully) in both C and Rust.

Building C projects requires:

• GCC and binutils for aarch64-linux-gnu.

Building Rust projects requires: TBD

Testing the compiled kernels on QEMU requires:

• qemu-system-aarch64

make PROFILE=<profile>

<profile> can be DEBUG or RELEASE. The DEBUG profile disables optimizations and enables debug symbols, while the RELEASE profile enables optimizations and disables debug symbols. The entire PROFILE=<profile> part can be omitted, and if so, the DEBUG profile is used.

The compiled kernel image resides in build/<profile>/kernel8.img.

TBD

make qemu PROFILE=<profile>

Again, the entire PROFILE=<profile> part can be omitted, and if so, the DEBUG profile is used. Refer to the section on building C projects for the description of the build profiles.

TBD