GitHub topics: fel4
jonlamb-gh/solox-amp-rust
AMP experiments in feL4 (seL4/Rust) on SoloX ARM SoC (A9 + M4)
Language: Rust - Size: 80.1 KB - Last synced at: 5 months ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 1
jonlamb-gh/rpi3-rust-fel4-workspace
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
Language: Rust - Size: 134 KB - Last synced at: 5 months ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 2
jonlamb-gh/sel4twinkle-alloc-rs
An experimental Rust port of libsel4twinkle allocator
Language: Rust - Size: 45.9 KB - Last synced at: 4 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0