betrusted

Pinned Loading

1. betrusted-wiki betrusted-wiki Public

   Looking for docs on Precursor/Betrusted? Start here.

   192 6

2. xous-book xous-book Public

   Documentation on the Xous operating system

   Rust 48 8

3. xous-core xous-core Public

   The Xous microkernel

   Rust 1k 152

4. betrusted-soc betrusted-soc Public

   Forked from sutajiokousagi/betrusted-soc

   Betrusted main SoC design

   Verilog 162 24

5. betrusted-ec betrusted-ec Public

   Betrusted embedded controller (UP5K)

   Rust 50 11

6. betrusted-hardware betrusted-hardware Public

   Hardware design files for Betrusted

   84 16