tychoos
| Crates.io | tychoos |
| lib.rs | tychoos |
| version | 0.0.1 |
| created_at | 2025-01-24 12:38:05.451358+00 |
| updated_at | 2025-01-24 12:38:05.451358+00 |
| description | A teaching operating system designed for RISC-V |
| homepage | |
| repository | |
| max_upload_size | |
| id | 1529352 |
| size | 24,601 |
Jon Eyolfson (eyolfson)
documentation
README
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.