1. xous-ipc

    System call interface for Xous

    v0.10.8 1.8K #micro-kernel #ipc #xous #syscalls #call-interface #syscalls-interface #embedded #kernel-interface
  2. rusty_list

    A no_std compatible, intrusive doubly linked list implementation

    v0.1.2 240 #linked-list #embedded #intrusive #kernel #embedded-kernel
  3. syscaller

    No-std Linux direct syscall library

    v0.2.3 430 #syscalls #linux-syscalls #in-memory #linux #api-bindings
  4. bmatcher

    flexible and efficient binary pattern matching library designed to help you search and match binary data

    v0.3.3 #search-pattern #binary-data #reverse-engineering #flexible-and-binary #search-and-match
  5. microstr

    Stack-allocated string with fixed capacity

    v0.4.0 120 #utf-8 #string #stack
  6. teensycore

    A kernel for the teensy4.0 microcontroller

    v0.1.0 #teensy-4 #embedded-kernel #embedded #kernel #teensy
  7. kcheck-cli

    working with kernel configuration information

    v0.2.1 #linux-kernel #embedded #kconfig #embedded-kernel #linux #embedded-linux
  8. rucos

    Rust Microcontroller Operating System (RuCOS) Kernel

    v0.2.0 150 #rtos #micro-controller #embedded
  9. rusty-os

    kernel for embedded systems written in Rust

    v1.1.0 #kernel #embedded #rtos
  10. rumpkernel

    as a crate

    v0.0.5 #build-script #source #part #rust-projects #git-submodule #git-checkout
  11. Try searching with DuckDuckGo or on crates.io.

  12. kcheck-utils

    Kernel configuration checking utility

    v0.1.3 #linux-kernel #embedded #kconfig #embedded-kernel #embedded-linux