seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

libsel4vmmplatsupport: virtio_net driver lacks support for IO control to change MAC address

Open axel-h opened this issue 2 years ago • 0 comments

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 the libsel4vmmsupport does not support IO control for changing the MAC addess of the virtio net in the guest.

axel-h avatar Mar 11 '22 09:03 axel-h