sutajiokousagi / betrusted-soc
betrusted.io main SoC design
☆12Updated 5 years ago
Alternatives and similar repositories for betrusted-soc:
Users that are interested in betrusted-soc are comparing it to the libraries listed below
- correlate an SPI capture of an AMD boot procedure to the PSP firmware components☆13Updated last week
- IP submodules, formatted for easier CI integration☆29Updated last year
- Framework for building transparent memory encryption and authentication solutions☆27Updated 6 years ago
- RISC-V Configuration Structure☆38Updated 5 months ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 3 years ago
- QARMA block cipher in C☆28Updated 2 years ago
- small experiment to learn some rust via a nRF24 Enhanced Shockburst receiver (2SPS IQ -> packets)☆12Updated 4 years ago
- Custom PSP app framework☆15Updated 4 years ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆29Updated 5 years ago
- Thunderclap hardware for Intel Arria 10 FPGA☆32Updated 5 years ago
- An example OMI Device FPGA with 2 DDR4 memory ports☆16Updated 2 years ago
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- Sled System Emulator☆28Updated 2 months ago
- ☆14Updated last year
- A more realistic demo of a buffer overflow cause by -ffast-math☆11Updated 2 years ago
- coreboot for HiFive1☆12Updated 7 years ago
- Documentation about the reversed engineered PSP interfaces/hardware components.☆26Updated 3 years ago
- Unofficial nextpnr WebAssembly packages☆16Updated last week
- This is the client side library to access JTAG Server distributed with Quartus (jtagd/jtagserver.exe). The protocol is known as Advanced …☆19Updated 8 months ago
- Betrusted embedded controller (UP5K)☆45Updated last year
- QEmu backend for avatar²☆21Updated 3 weeks ago
- Eyrie enclave runtime kernel☆36Updated last year
- A simple Hello World for x86_64 UEFI using fasmg☆26Updated 8 years ago
- A framework for parsing binary data.☆17Updated 2 years ago
- Noir Computer☆16Updated last year
- ✔️ Port of RISCOF to check the NEORV32 for RISC-V ISA compatibility.☆32Updated this week
- ☆15Updated 4 years ago
- Hardware random number generator for FPGAs☆9Updated 9 years ago
- Sail code model of the CHERIoT ISA☆37Updated last month