rust-kernel
Rustbelt: a hobby x86_64 kernel written in Rust
| Mode | Name | Size | |
|---|---|---|---|
-rw-r--r-- | mod.rs | 1984 | raw |
-rw-r--r-- | pl011.rs | 1452 | raw |
-rw-r--r-- | raspi3.rs | 3750 | raw |
-rw-r--r-- | virt.rs | 4061 | raw |
Rustbelt: a hobby x86_64 kernel written in Rust
| Mode | Name | Size | |
|---|---|---|---|
-rw-r--r-- | mod.rs | 1984 | raw |
-rw-r--r-- | pl011.rs | 1452 | raw |
-rw-r--r-- | raspi3.rs | 3750 | raw |
-rw-r--r-- | virt.rs | 4061 | raw |