Repositories list

• embedded-zephyr

  Public
  Zephyr for the ESP32

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 28, 2020Jan 28, 2020

• x86_64

  Public
  Library to program x86_64 hardware.

  Rust

  •

  Apache License 2.0

  •156156 forks•00 stars•00 issues•00 pull requests•Updated Dec 5, 2019Dec 5, 2019

• union-os

  Public
  A unikernel

  Rust

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 29, 2019Nov 29, 2019

• rust-raspi3-OS-tutorials

  Public
  :books: Learn to write an embedded OS in Rust on the Raspberry Pi :crab:

  Rust

  •

  MIT License

  •872872 forks•00 stars•00 issues•00 pull requests•Updated Nov 24, 2019Nov 24, 2019

• libc

  Public
  Raw bindings to platform APIs for Rust

  Rust

  •

  Apache License 2.0

  •1.3k1.3k forks•00 stars•00 issues•00 pull requests•Updated Nov 22, 2019Nov 22, 2019

• spin-rs

  Public
  A spinlock for rust

  Rust

  •

  MIT License

  •107107 forks•00 stars•00 issues•00 pull requests•Updated Nov 21, 2019Nov 21, 2019

• relibc

  Public
  Mirror of https://gitlab.redox-os.org/redox-os/relibc

  Rust

  •

  MIT License

  •7070 forks•00 stars•00 issues•00 pull requests•Updated Nov 19, 2019Nov 19, 2019

• rust-x86

  Public
  Rust library to use x86 (amd64) specific functionality and registers.

  Rust

  •

  MIT License

  •6262 forks•00 stars•00 issues•00 pull requests•Updated Nov 15, 2019Nov 15, 2019

• smoltcp

  Public
  a smol tcp/ip stack

  Rust

  •

  BSD Zero Clause License

  •556556 forks•00 stars•00 issues•00 pull requests•Updated Nov 7, 2019Nov 7, 2019

• libc11

  Public
  A public domain implementation of the C11 standard library.

  C

  •

  The Unlicense

  •2121 forks•00 stars•00 issues•00 pull requests•Updated Mar 9, 2019Mar 9, 2019

• ehyve

  Public
  An educational hypervisor for eduOS-rs

  Rust

  •

  MIT License

  •66 forks•00 stars•00 issues•00 pull requests•Updated Jan 26, 2019Jan 26, 2019