Axel Heider
Axel Heider
Why does the PLIC not support interrupt masking? Interrupts can only be enabled/disabled or claimed and completed. It would be nice to have an explanation why explicit masking is not...
Please add support for the MX25L6406E (8MB), data sheet at http://www.macronix.com/Lists/DataSheet/Attachments/3223/MX25L6406E,%203V,%2064Mb,%20v1.9.pdf Using a FTDI UM232H it works nicely. I've added: `0x20 : 'MX25L'` at: ``` class Mx25lFlashDevice(_Gen25FlashDevice): """Macronix MX25L flash...
Allow loading raw binaries also for modules
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...
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...
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...
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...