TychoOS

A teaching operating system designed for RISC-V

Setup

This project currently uses unstable features that require the nightly channel. Run the following commands:

rustup default nightly
rustup target add riscv64gc-unknown-none-elf

Building

The kernel should build by running:

cargo build

Running

Ensure you have qemu installed, and run the following command:

qemu-system-riscv64 -machine virt -bios none -smp 1 -nographic -kernel target/riscv64gc-unknown-none-elf/debug/tychoos-kernel

Debugging

Run the kernel with debugging support:

qemu-system-riscv64 -machine virt -bios none -smp 1 -nographic -kernel target/riscv64gc-unknown-none-elf/debug/tychoos-kernel -s -S

After, run the debugger:

lldb target/riscv64gc-unknown-none-elf/debug/tychoos-kernel

In the debugger run the following:

gdb-remote localhost:1234

This should connect you to the debugging session.