Passing Network Resource to Linux VM in TK1-SOM
Hi all, 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? Best Regards -Daniel Wang
Hi Daniel, I don't know if this is still an issue for you, but if it is, do these instructions help? https://sel4.systems/pipermail/devel/2017-January/001232.html Setting the config option: Tk1Insecure to True should pass through the correct hardware access. Then "ifconfig eth0 up" should bring up the card. Kind regards, Kent. ________________________________ From: Devel <devel-bounces@sel4.systems> on behalf of Daniel Wang <danielwang.ksu@gmail.com> Sent: Friday, September 28, 2018 4:05 PM To: devel@sel4.systems Subject: [seL4] Passing Network Resource to Linux VM in TK1-SOM Hi all, 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? Best Regards -Daniel Wang
Yeah it helps a lot. Thank you! Best Regards -Daniel Wang
On Nov 5, 2018, at 8:03 PM, <Kent.Mcleod@data61.csiro.au> <Kent.Mcleod@data61.csiro.au> wrote:
Hi Daniel,
I don't know if this is still an issue for you, but if it is, do these instructions help? https://sel4.systems/pipermail/devel/2017-January/001232.html <https://sel4.systems/pipermail/devel/2017-January/001232.html>
Setting the config option: Tk1Insecure to True should pass through the correct hardware access. Then "ifconfig eth0 up" should bring up the card.
Kind regards, Kent. From: Devel <devel-bounces@sel4.systems> on behalf of Daniel Wang <danielwang.ksu@gmail.com> Sent: Friday, September 28, 2018 4:05 PM To: devel@sel4.systems Subject: [seL4] Passing Network Resource to Linux VM in TK1-SOM
Hi all,
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?
Best Regards -Daniel Wang
participants (2)
-
Daniel Wang -
Kent.Mcleod＠data61.csiro.au