I got a question, how can I pass the network communication to Linux virtual machine?
Following the work of seL4-ARM-VMM with TK1-SOM board, i run seL4 as the microvisor that
hosts the buildroot Linux as a user-land process, I was able to mount the MMC storage in
the virtual machine, but I cannot get the NIC works. I’m wondering has anyone tried it
that can give me some hint?