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)
oxcc-stm32f767-hal
HAL crate for the STM32F767ZIT6 microcontroller used by OxCC
cargo-fel4
A Cargo subcommand for working with feL4 projects.
rpi3-sel4-test-project
Hello world seL4 project running on the RPI3
embedded-graphics
Graphics library for embedded applications
fat_io_lib-1
Small footprint, low dependancy, C code implementation of a FAT16 & FAT32 driver.
heli-x-files
Scenes, Environments, files for Heli-x siimulator
oxcc-nucleo-f767zi
Board support crate for the NUCLEO-F767ZI used by OxCC
rpi3-rust-workspace
Rust workspace for RPI3 bare metal things
fel4-config
Parsing, transformation and validation for feL4 configuration data
freecad-workspace
FreeCAD Workspace
home-phone-prototype
Prototype, runs on Linux, wraps linphone-sdk
keypad
Platform-agnostic driver for keypad matrix circuits
libsel4-sys
Building seL4 and generating Rust bindings based on feL4 configuration
linphone-sdk
Fork of https://gitlab.linphone.org/BC/public/linphone-sdk
misc-diagrams
A place for my draw.io diagrams
nom
Rust parser combinator framework
nphysics
2 and 3-dimensional rigid body physics engine for Rust.
oxcc-stm32f767
Peripheral access API for STM32F767 microcontroller used by OxCC (generated using svd2rust)
sel4twinkle-alloc-rs
An experimental Rust port of libsel4twinkle allocator
sh3d-projects
Sweet Home 3D Projects
stm32f3xx-hal
A Rust embedded-hal HAL for all MCUs in the STM32 F3 family