In short:
I am trying to run the sel4 microkernel inside a x86_64 virtual machine and can\'t get the ethernet interface working. What is the correct procedure to get