Skip to content

Commit

Permalink
update README.md (platforms, references)
Browse files Browse the repository at this point in the history
  • Loading branch information
sandro2pinto committed Mar 31, 2021
1 parent 83ab95a commit 799655a
Showing 1 changed file with 23 additions and 20 deletions.
43 changes: 23 additions & 20 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,19 +22,24 @@ Bao has no external dependencies, such as on privileged VMs running untrustable,
large monolithic general-purpose operating systems (e.g., Linux), and, as such,
encompasses a much smaller TCB.

Bao originally targets the Armv8-A architecture, but there is experimental support
Bao originally targets the Armv8-A architecture, but there is already support
for the RISC-V architecture. The full list of supported (and work in progress)
platforms is presented below:

- [x] Xilinx Zynq UltraScale+ MPSoC ZCU102 (Armv8-A)
- [x] Xilinx Zynq UltraScale+ MPSoC ZCU104 (Armv8-A)
- [x] Ultra96 Zynq UltraScale+ ZU3EG (Armv8-A)
- [x] NXP MCIMX8QM-CPU (Armv8-A)
- [x] NVIDIA Jetson TX2 (Armv8-A)
- [x] 96Boards HiKey 960 (Armv8-A)
- [ ] NXP MCIMX8M-EVK (Armv8-A) - wip
- [ ] NXP MCIMX8QM-CPU (Armv8-A) - wip
- [x] Raspberry Pi 4 (Armv8-A)
- [x] QEMU virt (Armv8-A)
- [x] QEMU virt (RISC-V rv64)
- [ ] Rocket w/ H-extension (RISC-V rv64) - soon
- [ ] NXP MCIMX8M-EVK (Armv8-A) - soon
- [ ] 96Boards ROCK960 (Armv8-A) - wip
- [ ] QEMU virt (Armv8-A) - wip
- [ ] QEMU virt (RISC-V rv64) - wip





Expand Down Expand Up @@ -64,32 +69,30 @@ Source code:
Demos
------------

As of now, there are two demos for the ZCU10X platforms.

For specific instructions on how to build, compile, and run please refer to:
A tutorial providing a step-by-step guide on how to run different demo
configurations of the Bao hypervisor featuring multiple guest operating
systems and targeting several supported platforms will be released soon!


1. **ZCU10X bare metal guest demo**:

- https://github.com/bao-project/zcu_baremetal_demo

References
------------

4. Bruno Sá, José Martins and Sandro Pinto. "**A First Look at RISC-V Virtualization from an Embedded Systems Perspective**".
To be published, 2021.
https://arxiv.org/abs/2103.14951

2. **ZCU10X Linux/FreeRTOS demo**:

- https://github.com/bao-project/zcu_linux-freertos_demo
3. José Martins and Sandro Pinto. "**Static Partitioning Virtualization on RISC-V**".
In RISC-V Summit, virtual, 2020.


2. José Martins and Sandro Pinto. "**Bao: a modern lightweight embedded hypervisor**".
In Proceedings of the Embedded World Conference, Nuremberg, Germany, 2020.

References
------------

1. José Martins, Adriano Tavares, Marco Solieri, Marko Bertogna, and Sandro Pinto.
"**Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded
Systems**". In Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2020).
Schloss Dagstuhl-Leibniz-Zentrum für Informatik. 2020.
https://drops.dagstuhl.de/opus/volltexte/2020/11779/


2. José Martins and Sandro Pinto. "**Bao: a modern lightweight embedded hypervisor**".
In Proceedings of the Embedded World Conference, Nuremberg, Germany, 2020.
https://drops.dagstuhl.de/opus/volltexte/2020/11779/

0 comments on commit 799655a

Please sign in to comment.