Get the latest tech news
Show HN: Confidential computing for high-assurance RISC-V embedded systems
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware. - IBM/ACE-RISCV
ACE-RISCV is an open-source project, whose goal is to deliver a confidential computing framework with a formally proven security monitor. We are currently building on RISC-V 64-bit with integer (I), atomic (A) and hypervisor extentions (H), physical memory protection (PMP), memory management unit (MMU), IOPMP, core-local interrupt controller (CLINT), and supervisor timecmp extension (Sstc). To run the sample Linux OS as a confidential VM (login: root, password: passwd) execute:
Or read this on Hacker News