bao-hypervisor
bao-hypervisor copied to clipboard
Bao, a Lightweight Static Partitioning Hypervisor
I ran it according to the demo, linux can actively communicate with freertos, but how does freertos actively communicate with linux?
I want to use gdb to debug bao, I don't know if I can debug it, or if there are other debugging methods?
I want to run zephyr(RTOS) on bao instead of freertos. So, I want to know if I need to do some modify on zephyr code? For simple, firtsly dont consider...
I use TX2 board. I use TFTP in uboot to download bao.bin. The uboot IP is set as below: setenv serverip 192.168.42.16 setenv ipaddr 192.168.42.15 The UART log is: tftp...
I ran into a hard to debug situation: In a `config.c` I specified the same `VM_IMAGE` for multiple VMs, assuming this would be copied into an allocated memory region. However...
## PR Description This PR is the first on the chain of PR to be merged in #120 . The main goal of this PR is to force ISO C11...
The shareability attributes impact the final cacheability attributes of a memory region. On a system with a 2-stage controlled MPU, this level configuration can limit the guest's configuration of its...
This PR introduces multiple updates to RISC-V IOMMU support regarding the Device Directory Table. **Changes:** - Add support for IOMMU implementations without MSI translation, where each DC is 32-bytes wide;...
This PR introduces support for RV32. Because the way the instruction set is written the difference is not much when comparing to RV64. The main areas of modification are: -...