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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
