Yeah it helps a lot. Thank you! Best Regards -Daniel Wang
> On Nov 5, 2018, at 8:03 PM, <[email protected]> > <[email protected]> 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 <[email protected]> on behalf of Daniel Wang > <[email protected]> > Sent: Friday, September 28, 2018 4:05 PM > To: [email protected] > 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 > > > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
