José Martins
José Martins
🚨Please review the [Troubleshooting](../#troubleshooting) section before reporting any issue. Don't forget also to check the current issues to avoid duplicates. ### Subject of the issue I'm am not able to...
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: -...
The level of page table where entries are shared for aarch32 is lvl 1. By resharing the lvl 0 pte, this was causing erroneous mappings on secondary cores. Depends on...
First a fence was required to enforce the dependency on `install_info_ready` being set calling vmm_vm_install as there is no real data dependency. Second, we move the write fence which ensures...
Currently buildroot is configured so that it builds the target toolchain locally. This is a very heavy process and takes too much time. It would be simply possible to download...
This PR adds support for VM reset. Guest can request a VM reset by issuing standard system calls, i.e., PSCI_RESET and SBI_SRST, for arm and risc-v systems, respectively. It starts...
@Sunt-git and @LSVulnerable detected issues (#46 and #161) in which Linux with the RT patch stalls after initialization. @LSVulnerable noted that "when a pl011 interrupt inject, maintenance interrupt occur and...
This PR introduces several modifications: - updates the vast majority of used tools (toolchains and emulators), firmware (opensbi, atf, uboot), guests (linux/buildroot) - adds demos for the qemu-riscv32-virt platform -...
https://github.com/bao-project/bao-hypervisor/blob/41a0bea0cd99421d2f9013fa904246671e0b20f9/src/arch/armv8/armv8-r/inc/arch/mem.h#L40 At the moment the `mpu_entry_mask` used to enable guest regions upon entry vcpu entry is kept in `struct addr_space_arch`, which is a structure instantiated per VM. However, this mask...
On hold due to need the changes on https://github.com/bao-project/bao-hypervisor/pull/256