11 Mar
2022
11 Mar
'22
8:16 p.m.
Tao,
Finally, I figured out the root cause of this issue. It happened when I changed the mac address of the virtio net probed for the vm guest. According to the issue, It seemed that the virtio_net driver of the libsel4vmmsupport did not support emulating the io control for changing the mac addess of the virtio net in the guest.
Thank you very much for investigating this issue. I have created https://github.com/seL4/seL4_projects_libs/issues/35 to track this bug. Axel