Alternatives and similar repositories for xous-book

Users that are interested in xous-book are comparing it to the libraries listed below

• betrusted-io / betrusted-soc
  Betrusted main SoC design
  ☆148Updated 3 months ago
• Neotron-Compute / Neotron-Book
  A user manual and technical reference for the Neotron family
  ☆38Updated last year
• betrusted-io / betrusted-ec
  Betrusted embedded controller (UP5K)
  ☆48Updated last year
• YoWASP / yosys
  Unofficial Yosys WebAssembly packages
  ☆74Updated this week
• lupyuen / pinephone-nuttx
  Apache NuttX RTOS for PinePhone
  ☆100Updated last week
• machdyne / kakao
  Kakao Linux
  ☆38Updated 5 months ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆45Updated this week
• brouhaha / glacial
  Glacial - microcoded RISC-V core designed for low FPGA resource utilization
  ☆87Updated 6 years ago
• betrusted-io / gateware
  IP submodules, formatted for easier CI integration
  ☆30Updated last month
• mattvenn / wokwi-verilog-gds-test
  ☆55Updated 3 years ago
• lupyuen / nuttx-tinyemu
  Apache NuttX RTOS in the Web Browser: TinyEMU with VirtIO
  ☆23Updated last year
• milkv-pioneer / pioneer-files
  Hardware information
  ☆37Updated last year
• machdyne / noir
  Noir Computer
  ☆16Updated 2 years ago
• profdc9 / ParanoiaBox
  A standalone elliptic curve/AES file encryption and decryption device
  ☆17Updated 2 years ago
• sutajiokousagi / betrusted-soc
  betrusted.io main SoC design
  ☆14Updated 5 years ago
• betrusted-io / betrusted-wiki
  Looking for docs on Precursor/Betrusted? Start here.
  ☆184Updated 4 years ago
• signaloid / C0-microSD-Hardware
  Verilog design examples for use with the Signaloid C0-microSD
  ☆50Updated 2 weeks ago
• CHERIoT-Platform / cheriot-rtos
  The RTOS components for the CHERIoT research platform
  ☆153Updated this week
• hasheddan / coap-pcap
  Understanding CoAP with Packet Captures.
  ☆15Updated 2 years ago
• riscv-mcu / riscv-gnu-toolchain
  GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.
  ☆33Updated last week
• westerndigitalcorporation / sweet-b
  Sweet B is a safe, compact, embeddable library for elliptic curve cryptography.
  ☆35Updated 3 years ago
• secworks / blake2s
  Verilog implementation of the 32-bit version of the Blake2 hash function
  ☆21Updated 7 months ago
• open-isa-org / open-isa.org
  Software, tools, documentation for Vegaboard platform
  ☆64Updated 5 years ago
• OpenCAPI / omi_device_ice
  An example OMI Device FPGA with 2 DDR4 memory ports
  ☆18Updated 2 years ago
• swetland / gateware
  A collection of little open source FPGA hobby projects
  ☆50Updated 5 years ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆150Updated this week
• keystone-enclave / linux-keystone-driver
  Loadable Module for Keystone Enclave
  ☆19Updated 3 years ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆66Updated last year
• cbiffle / rp2040-rustboot
  RP2040 bootloader in Rust
  ☆45Updated 3 years ago
• betrusted-io / betrusted-hardware
  Hardware design files for Betrusted
  ☆79Updated 3 years ago