seL4_projects_libs
seL4_projects_libs copied to clipboard
seL4
This PR adds an emulated GIC500 (GICv3) to libsel4vmm as a virtual device. This branch is based off of an earlier PR, https://github.com/seL4/seL4_projects_libs/pull/8, by @pingerino which already included commits pulled...
Drop `struct vgic_dist_device` and store data in `struct vgic`. This is on top of https://github.com/seL4/seL4_projects_libs/pull/70 and part of a branch that adds GICv3 support with https://github.com/Hensoldt-Cyber/seL4_projects_libs/pull/1
In `vgic_dist_set_pending_irq()` we enque an interrupt and then dequeue one https://github.com/seL4/seL4_projects_libs/blob/9de06305edb99bbe73be1094ed1b9bc47679b854/libsel4vm/src/arch/arm/vgic/vgic.c#L581-L602 Since there is no guarantee that we dequeue the same interrupt we have enqueued, I wonder if this should...
I wonder, in https://github.com/seL4/seL4_projects_libs/blob/9de06305edb99bbe73be1094ed1b9bc47679b854/libsel4vm/src/arch/arm/vm.c#L234-L241 shouldn't this also set ``` vm->run.exit_reason = VM_GUEST_ERROR_EXIT; ``` if `vcpu_idx` is invalid?
It is not clear how this repository compares with seL4_libs. I know that seL4_libs is (or at least was) [not considered to be of production quality](https://github.com/seL4/seL4_libs/issues/14), for example.
Follow-up from https://lists.sel4.systems/hyperkitty/list/[email protected]/thread/YNTMEMTAUD5ZE6X7J4O4E75OELA6T345/ The error ``` Unhandled offset of 0x14 of size 1, writing 0x2 Assertion failed: !"panic" seL4_projects_libs/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/virtio_emul.c: emul_io_out: 109 ``` Seem to indicate that the virtio_net driver of...
8-bit and 16-bit read and write faults do not seem to be handled correctly. For example, if a VM performs a 8-bit read and the fault is set to return...
(Moved from: https://sel4.atlassian.net/browse/SELFOUR-793) Currently libsel4arm-vmm provides basic support for decoding and emulating faults for the TK1. This works by relying on the HSR register providing a valid instruction syndrome. From...