betrusted-io / xous-book
Documentation on the Xous operating system
☆31Updated 9 months ago
Alternatives and similar repositories for xous-book:
Users that are interested in xous-book are comparing it to the libraries listed below
- Betrusted embedded controller (UP5K)☆45Updated last year
- Unofficial Yosys WebAssembly packages☆70Updated this week
- Betrusted main SoC design☆142Updated last year
- Apache NuttX RTOS in the Web Browser: TinyEMU with VirtIO☆21Updated last year
- Noir Computer☆16Updated last year
- RISC-V Configuration Structure☆37Updated 5 months ago
- Sail code model of the CHERIoT ISA☆35Updated last week
- IP submodules, formatted for easier CI integration☆29Updated last year
- Assemble 128-bit RISC-V☆45Updated last year
- Glacial - microcoded RISC-V core designed for low FPGA resource utilization☆83Updated 5 years ago
- Security payload for next-Gen firmware architecture☆52Updated 2 years ago
- small experiment to learn some rust via a nRF24 Enhanced Shockburst receiver (2SPS IQ -> packets)☆12Updated 4 years ago
- Hardware information☆33Updated 4 months ago
- Verilog design examples for use with the Signaloid C0-microSD☆43Updated 3 weeks ago
- Software bootloader for boards running Tock.☆24Updated last year
- betrusted.io main SoC design☆12Updated 5 years ago
- Libraries for OnlyKey Firmware☆29Updated 5 months ago
- Sweet B is a safe, compact, embeddable library for elliptic curve cryptography.☆35Updated 2 years ago
- A user manual and technical reference for the Neotron family☆36Updated 5 months ago
- 🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…☆14Updated this week
- Awesome projects using the Amaranth HDL☆13Updated last month
- Software, tools, documentation for Vegaboard platform☆64Updated 5 years ago
- C++ REPL for bare-metal embedded devices☆25Updated 2 years ago
- ☆55Updated 2 years ago
- Template repository for getting started with general Amaranth FPGA projects☆15Updated 9 months ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆120Updated this week
- Sled System Emulator☆28Updated last month
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆65Updated 7 months ago
- A collection of little open source FPGA hobby projects☆48Updated 5 years ago
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Updated 8 months ago