seL4_projects_libs
seL4_projects_libs copied to clipboard
seL4
Currently, if the `map_iterator` function fails to find a frame for a given address, then it breaks from the loop, but it does not return an error and marks the...
The function ```fault_get_data_mask()``` only produce the mask within 32 bits which meas it **can't** return a mask like ```0xffffffff00000000``` with 64 bits ```seL4_Word```. https://github.com/seL4/seL4_projects_libs/blob/eb42051d1217405832165869e034ab8860ed4129/libsel4vm/src/arch/arm/fault.c#L494 Thus for some data structures like...
sel4vm: Switch to use ```seL4_LargePageObject``` in VM's RAM register to reduce the memory overhead
I was working around with the default ```vm_minimal``` for ```qemu-arm-virt``` 64bits platform and tried to allocate 2GB RAM for the VM linux and got some allocation fail error. ``` ./simulate:...
Data of unaligned configuration space writes were masked out because of incorrect mask.
These commits allow for more flexible core configurations for Arm VM systems
This commit keeps the guest memory space mapped into the VMM at all times. This speeds up VMM access to guest memory space, which is vital for high throughput virtio...
This PR attempts to do the following: - Patch up flaky ACPI table support - Complete the APIC emulation code. In its current state the emulated APIC is not completed...
We have seen that some VMs try to write `0x03` instead of `0x01`. Support this case more gracefully and ensure that the `GIC_DIST_CTLR_EN_GRP1` setting properly applied. - check the bit...