Axel Heider

libsel4vm: set VM_GUEST_ERROR_EXIT on vCPU index error?

6

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?

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...

Follow-up from https://github.com/seL4/seL4/pull/727 Document Pine64 Quartz64Board support and maintainer. Or list this an unmaintained and mention at least that a PR/branch exists with the changes.

merge pages of contribution guidelines

1

Follow-up from the remark form @lsf37 in today's hangout call. The pages of with the contribution guidelines could be merged into one page. I've just stumbled over these pages -...

risc-v: remove special handling for restoring tp

7

I can't find a reason why it is done in such a complicated way, when the RISC-V port was added in 83ba0847.

Avoid using generic names, as this may cause name clashes.