; From: Devel on behalf of Daniel Wang
>
> 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 vir
up" should bring up the card.
Kind regards,
Kent.
From: Devel on behalf of Daniel Wang
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 p
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, bu