OSC2023

Github Account	Student ID	Name
abt8601	310551038	Po-Yi Tsai

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.

Requirements

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

Build

Building C Projects

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.

Building Rust Projects

TBD

Test With QEMU

Testing C Projects

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.

Testing Rust Projects

TBD