betrusted-io / xous-bookLinks
Documentation on the Xous operating system
☆34Updated last month
Alternatives and similar repositories for xous-book
Users that are interested in xous-book are comparing it to the libraries listed below
Sorting:
- Betrusted main SoC design☆143Updated 2 weeks ago
- Betrusted embedded controller (UP5K)☆46Updated last year
- A user manual and technical reference for the Neotron family☆37Updated 9 months ago
- Noir Computer☆16Updated 2 years ago
- The RTOS components for the CHERIoT research platform☆145Updated this week
- ☆55Updated 2 years ago
- Apache NuttX RTOS for PinePhone☆100Updated this week
- Glacial - microcoded RISC-V core designed for low FPGA resource utilization☆86Updated 5 years ago
- Unofficial Yosys WebAssembly packages☆71Updated this week
- Software, tools, documentation for Vegaboard platform☆65Updated 5 years ago
- Verilog design examples for use with the Signaloid C0-microSD☆47Updated last month
- IP submodules, formatted for easier CI integration☆30Updated 2 weeks ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆69Updated last year
- Apache NuttX RTOS in the Web Browser: TinyEMU with VirtIO☆23Updated last year
- Sail code model of the CHERIoT ISA☆41Updated 3 weeks ago
- Kakao Linux☆36Updated 2 months ago
- Hardware information☆36Updated 9 months ago
- Looking for docs on Precursor/Betrusted? Start here.☆179Updated 4 years ago
- A standalone elliptic curve/AES file encryption and decryption device☆17Updated 2 years ago
- Slides and documentation from talks/demos/meetups☆49Updated 4 years ago
- ECPDAP allows you to program ECP5 FPGAs and attached SPI flash using CMSIS-DAP probes in JTAG mode.☆66Updated last year
- A collection of little open source FPGA hobby projects☆50Updated 5 years ago
- Hardware design files for Betrusted☆76Updated 3 years ago
- Copenhagen Suborbitals Sapphire telemetry system☆34Updated 11 years ago
- A Qt5 based free VLSI development tool☆30Updated 7 years ago
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆30Updated this week
- Libraries for OnlyKey Firmware☆30Updated 10 months ago
- 🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…☆17Updated this week
- Verilog implementation of the 32-bit version of the Blake2 hash function☆21Updated 4 months ago
- The Antikernel operating system project☆121Updated 5 years ago