issues
search
RWTH-OS
/
eduOS-rs
A teaching operating system written in Rust
https://rwth-os.github.io/eduOS-rs/
Apache License 2.0
412
stars
26
forks
source link
rust-toolchain.toml: Pin toolchain channel
#18
Closed
mkroening
closed
2 years ago