Jon's repositories
rpi3-rust-fel4-workspace
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
solox-amp-rust
AMP experiments in feL4 (seL4/Rust) on SoloX ARM SoC (A9 + M4)
fat_io_lib
Vendored repository for Fat IO library from Ultra Embedded
cargo-fel4
A Cargo subcommand for working with feL4 projects.
rpi3-sel4-test-project
Hello world seL4 project running on the RPI3
sel4-hobd-prototype
Prototype HOBD system running on seL4
h264_decoder
Simple C++ (with python wrapper) h264 stream decoder
heli-x-files
Scenes, Environments, files for Heli-x siimulator
oxcc-nucleo-f767zi
Board support crate for the NUCLEO-F767ZI used by OxCC
stm32f4-discovery-example
Rust STM32F4 discovery board example project
alphamap-gen
Generate RGBA alpha map png file from a heightmap png
arduino-due-oscilloscope
Arduino Due + Processing Oscilloscope
blethrs
Ethernet bootloader for STM32 written in Rust
elis-app
Electronic Lumber Invoice System
elis-lib
Rust Library Package for Electronic Lumber Invoice System
f4-bsp
Board Support Crate for the STM32F4DISCOVERY
fel4-config
Parsing, transformation and validation for feL4 configuration data
fel4-test-project
A feL4 test project (Rust on seL4) - armv7 imx6 sabre lite
heli-x-scene3d-tool
Heli-X Scene3d Tool
l298-arduino
testing the l298n on Arduino
led-clock
LED Clock
libsel4-sys
Building seL4 and generating Rust bindings based on feL4 configuration
microrl
micro read line library for small and embedded devices
rust-test-webapp
Local webapp experiments with cargo-web
sel4twinkle-alloc-rs
An experimental Rust port of libsel4twinkle allocator
stm32-rs
Embedded rust device crates for STM32 microcontrollers