Skip to content

Commit

Permalink
Added Bao reference
Browse files Browse the repository at this point in the history
  • Loading branch information
@jquevremont
jquevremont authored Nov 25, 2024
1 parent bc329a0 commit 9de93e0
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion RESOURCES.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,9 @@ CVA6 was designed by the **[PULP Platform team](https://www.pulp-platform.org/)*

**Zephyr** support for CV64A6 will soon be available.

**seL4** (secure, formally verified microkernel) supports CVA6 (still by its old ARIANE name) [here](https://docs.sel4.systems/Hardware/ariane.html).
**Bao** ([repository](https://github.com/bao-project/bao-hypervisor), [documentation](https://github.com/bao-project/bao-docs)) is an embedded hypervisor targetting strong isolation and real-time guarantees, leveraging CV64A6 optional hypervisor support.

**seL4**, secure, formally verified microkernel supports CVA6 (still by its old ARIANE name) [here](https://docs.sel4.systems/Hardware/ariane.html).

This [tutorial](https://github.com/ThalesGroup/cva6-eclipse-demo) offers resources to debug CVA6 under **Eclipse IDE**.

Expand Down

0 comments on commit 9de93e0

Please sign in to comment.