seL4_projects_libs
seL4_projects_libs copied to clipboard
seL4
This is a follow-up from the change introduced by https://github.com/seL4/seL4_projects_libs/pull/81 - Remove hard coded fall-back address for zImage also. - inline `zImage_get_load_address()`, so things get a bit simpler . -...
This was removed in c3d56860 already, but the refactoring in 6c0c5d22 brought it back accidentally.
It seems that adding GICv3 support will be easier if we have a function `vgic_dist_set_ctlr()` that takes care about the details. This function can be implemented differently for GICv2 and...
- Supports handling multiple EOIed IRQs per fault IPC msg. This patch depends on: https://github.com/seL4/seL4/pull/1046 Signed-off-by: JorgeMVP
- Fix behaviour (iterator resetting, return value) in `map_vm_memory_reservation()` - Avoid potential integer overflows, no matter how theoretical they may be - Remove duplicate code - Write complex comparisons in...
This is a breaking change but is probably worthwhile to consider: Removing the vspace_t dependency from libsel4vm and libsel4vmmplatsupport and interacting with the vspace objects directly mostly resolves a series...
Originally the guests were able to make requests for a specific physical core based on its id. These changes associate that requested id with a vcpu instead of a pcpu....
This commit adds an "fdt_ori" and "gic_node" parameter to the vm struct, which allows the library to find the GIC_DIST and GIC_CPU register addresses required for emulating the vgic.
Follow-up from commit 0f9286df3394d9273e4c8223594d252d582f98c4 of https://github.com/seL4/seL4_projects_libs/pull/16 for `libsel4vm/src/arch/x86/guest_x86_context.c`: ``` /* Under release mode, this file will get built using -O3. Howerver on gcc 8.4, * the -O3 optimisation level is...