bao-hypervisor icon indicating copy to clipboard operation
bao-hypervisor copied to clipboard

Bao, a Lightweight Static Partitioning Hypervisor

Results 21 bao-hypervisor issues
Sort by recently updated
recently updated
newest added

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: -...