Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/jiegec/cs140e
CS140e without Rust is not CS140e. Sergio Benitez plz come back.
https://github.com/jiegec/cs140e
cs140e kernel rust
Last synced: about 2 months ago
JSON representation
CS140e without Rust is not CS140e. Sergio Benitez plz come back.
- Host: GitHub
- URL: https://github.com/jiegec/cs140e
- Owner: jiegec
- Created: 2018-02-02T04:48:39.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2020-04-01T08:12:35.000Z (over 4 years ago)
- Last Synced: 2024-10-26T22:48:39.520Z (2 months ago)
- Topics: cs140e, kernel, rust
- Language: Rust
- Homepage:
- Size: 736 KB
- Stars: 74
- Watchers: 8
- Forks: 14
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
cs140e
=======================================My code for Stanford cs140e. See [archived copy of CS140e](https://cs140e.sergio.bz/).
Using `alias code-rust="env RUST_TARGET_PATH=(pwd) RUST_LOG=rls=debug CARGO_INCREMENTAL=0 code-insiders"` in my fish config.
Setup
==================================Setup Rust toolchain:
```
rustup toolchain install nightly-2019-01-01
rustup component add rustfmt-preview rls-preview rust-src rust-analysis
# in cs140e directory
cargo install cargo-xbuild
```Build bootloader first, then
```
cp os/bootloader/build/bootloader.bin /Volumes/boot/kernel8.img
cp os/bootloader/ext/config.txt /Volumes/boot/config.txt
cd os/kernel
make install; and screen /dev/tty.SLAB_USBtoUART 115200
```Up and running
================================To run kernel in QEMU, build kernel and then run it:
```
cd os/kernel
make QEMU=1
qemu-system-aarch64 -machine raspi3 -serial null -serial mon:stdio -kernel build/kernel.bin -s -sd ../../2-fs/files/resources/mock1.fat32.img
```To run in Raspberry Pi 3, please refer to cs140e webpage.
See also
==============================1. [My series blog posts on cs140e in Chinese](https://jiege.ch/programming/2018/02/04/thoughts-on-stanford-cs140e/).
2. [Original CS140e](https://cs140e.sergio.bz/).