Skip to content
View jonlamb-gh's full-sized avatar

Block or report jonlamb-gh

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. auxoncorp/ferros auxoncorp/ferros Public

    A Rust-based userland which also adds compile-time assurances to seL4 development.

    Rust 109 11

  2. air-gradient-pro-rs air-gradient-pro-rs Public

    Rust bootloader, firmware and CLI tools for the AirGradient PRO

    Rust 9

  3. oxcc oxcc Public

    A port of Open Source Car Control written in Rust

    Rust 20 5

  4. pine-a64-rust-workspace pine-a64-rust-workspace Public

    Bare metal Pine A64 / PinePhone Rust crates

    Rust 6 4

  5. rpi4-rust-workspace rpi4-rust-workspace Public

    Rust workspace for Raspberry Pi 4 bare metal things

    Rust 21 2

  6. renode-run renode-run Public

    A custom Cargo runner that runs Rust firmware in the renode emulator

    Rust 6