Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
☆17Nov 15, 2021Updated 4 years ago
Alternatives and similar repositories for riscv-edk2-platforms
Users that are interested in riscv-edk2-platforms are comparing it to the libraries listed below
Sorting:
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Jan 9, 2022Updated 4 years ago
- Demo host and enclave applications exercising most functionality.☆32Jun 12, 2023Updated 2 years ago
- Loadable Module for Keystone Enclave☆19Sep 24, 2022Updated 3 years ago
- Documentation and status of UEFI on RISC-V☆64Aug 25, 2021Updated 4 years ago
- User programs for rCore OS☆19Jun 7, 2022Updated 3 years ago
- TEE hardware - based on the chipyard repository - hardware to accelerate TEE☆24Dec 16, 2022Updated 3 years ago
- GNU toolchain for AndesCore☆28Dec 23, 2025Updated 2 months ago
- Skeleton code for new 6.858 final project --- an encrypted and authenticated file system☆24Apr 20, 2022Updated 3 years ago
- UPduino☆28Mar 30, 2020Updated 5 years ago
- CoPHEE is a Co-processor for Partially Homomorphic Encrypted Encryption.☆36Feb 21, 2024Updated 2 years ago
- littlefs wrapped in javascript... for some reason...☆42Jan 23, 2018Updated 8 years ago
- Apollo is an assembly polishing algorithm that attempts to correct the errors in an assembly. It can take multiple set of reads in a sing…☆28May 10, 2020Updated 5 years ago
- Eyrie enclave runtime kernel☆37Aug 2, 2023Updated 2 years ago
- SST Macro Element Library☆36Nov 5, 2025Updated 4 months ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- los14.1 with stock kernel☆11Jan 11, 2019Updated 7 years ago
- A collection of (public) notes on assorted topics☆79Aug 22, 2025Updated 6 months ago
- A tool to transform Android Cuttlefish images into QEMU disk images☆15Jul 12, 2024Updated last year
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- Switchboard Sound Plug☆15Mar 2, 2026Updated last week
- A simple 8086-CPU simulator using Verilog and Quartus II☆10Jul 9, 2018Updated 7 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- Reproducing malicious memory reading on Intel i5 and Intel Xeon using a Spectre attack☆87Jan 25, 2018Updated 8 years ago
- MCFI/PICFI tool chain☆45Mar 21, 2024Updated last year
- Linux integrity monitoring for CentOS/RHEL☆12May 13, 2020Updated 5 years ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- TrustZone True Number Generator☆42Apr 5, 2022Updated 3 years ago
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- SDK for Keystone Enclave - ABI/SBI libraries and sample apps☆44Oct 10, 2022Updated 3 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- A memory allocator that aims to eliminate dangling pointer vulnerabilities at a low overhead, using virtualisation via Dune. My Computer …☆10Nov 27, 2019Updated 6 years ago
- Compiler-instrumented app tracing.☆52May 17, 2024Updated last year
- A bare-metal application to test specific features of the risc-v hypervisor extension☆45Nov 24, 2025Updated 3 months ago
- PID control library for Particle, adapted from br3ttb/Arduino-PID-Library☆11Feb 15, 2024Updated 2 years ago
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- Spectre variant 1 exploitation via PRIME+PROBE☆10May 22, 2019Updated 6 years ago
- ☆14Dec 1, 2020Updated 5 years ago
- ☆14Nov 11, 2025Updated 3 months ago