A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI
☆54Sep 4, 2026Updated last month
Alternatives and similar repositories for sonata-system
Users that are interested in sonata-system are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Design files and associated documentation for Sonata PCB, part of the Sunburst Project☆22Apr 1, 2025Updated last year
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆135Sep 14, 2026Updated 3 weeks ago
- CHERI-enabled secure enclave that can be integrated as a subsytem on a system on chip.☆40Updated this week
- An open silicon CHERIoT Ibex microcontroller chip☆19May 23, 2025Updated last year
- Side-channel analysis setup for OpenTitan☆43Nov 3, 2025Updated 11 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The RTOS components for the CHERIoT research platform☆167Sep 24, 2026Updated 2 weeks ago
- CHERI ISA Specification☆29Mar 13, 2026Updated 6 months ago
- Sail code model of the CHERIoT ISA☆51Aug 26, 2026Updated last month
- SCARV: a side-channel hardened RISC-V platform☆23Mar 31, 2021Updated 5 years ago
- A demo system for Ibex including debug support and some peripherals☆100Jul 16, 2026Updated 2 months ago
- Testing processors with Random Instruction Generation☆62Updated this week
- Tightly-coupled cache coherence unit for CVA6 using the ACE protocol☆39May 4, 2024Updated 2 years ago
- go library for ChipWhisperer hardware security platform☆21Aug 1, 2019Updated 7 years ago
- Microkernel-based system for heterogeneous manycores☆16Jun 1, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- RISC-V BSV Specification☆24Apr 28, 2026Updated 5 months ago
- Open-source memory-mapped Ethernet MAC for FPGA with RGMII interface☆23Jul 27, 2026Updated 2 months ago
- ☆20Sep 21, 2026Updated 2 weeks ago
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆16Jul 2, 2026Updated 3 months ago
- A mixed-criticality platform built around Cheshire, with a number of safety/security and predictability features. Ready-to-use FPGA flow …☆132Sep 7, 2026Updated last month
- Linux on RISC-V on FPGA (LOROF): RV64GC Sv39 Quad-Core Superscalar Out-of-Order Virtual Memory CPU☆19Oct 2, 2026Updated last week
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆124Updated this week
- Fork of LLVM adding CHERI support☆78Sep 22, 2026Updated 2 weeks ago
- RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor☆21Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆222Oct 1, 2026Updated last week
- Open tools for side-channel analysis and related techniques. Currently, this repository contains: 1) A near-field EM probe amplifier circ…☆39Dec 17, 2014Updated 11 years ago
- Learning exercises for CHERI☆21Jun 30, 2025Updated last year
- [MIGRATED to https://codeberg.org/prjunnamed/prjunnamed] End-to-end synthesis and P&R toolchain☆95Mar 12, 2026Updated 6 months ago
- ☆33Jan 7, 2025Updated last year
- OpenTitan: Open source silicon root of trust☆3,686Updated this week
- Large-scale 2D mesh system with dedicated GeMM, on-chip RDMA and Rendez-vous accelerators.☆27Updated this week
- Design of Analog Blocks in Skywaters 130nm meeting corners: different flavors of OTA, BandGap, LDO.☆35Jul 30, 2022Updated 4 years ago
- A ZipCPU SoC for the Nexys Video board supporting video functionality☆21Nov 13, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Flexible Open-source workBench fOr Side-channel analysis (FOBOS)☆16Nov 19, 2025Updated 10 months ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆191Apr 4, 2026Updated 6 months ago
- A current mode buck converter on the SKY130 PDK☆39Jun 17, 2021Updated 5 years ago
- ☆49Jul 15, 2022Updated 4 years ago
- Design documents and interoperability tests for Interoperable RA-TLS projects☆15Jul 17, 2026Updated 2 months ago
- MultiZone® Security TEE for Arm® Cortex®-M is the quick and safe way to add security and separation to any Cortex-M based device. MultiZo…☆14Aug 21, 2023Updated 3 years ago
- A plugin for Ghidra for automatic analysis of the binding of individual registers and their layouts.☆17Dec 18, 2025Updated 9 months ago