Native networking example under QEMU

[protoben]

Hello,

I'm trying to get an example of native networking to run under QEMU. I've managed to build picoserver, picotcp_single_component, and picotcp_tcp_echo for x86_64 (after fixing some minor compilation and linking issues; I made PRs for these at #26 and https://github.com/seL4/global-components/pull/47). In addition, I added set(SIMULATION OFF CACHE BOOL "" FORCE).

When I try to run any of the three, however, I get the following crash in the console:

Booting all finished, dropped to user space
<<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff801fc0b400 "rootserver" @401bcc]: CNode Copy/Mint/Move/Mutate: Source slot invalid>
[email protected]:1840 [Err seL4_FailedLookup]:

seL4 root server abort()ed
Debug halt syscall from user thread 0xffffff801fc0b400 "rootserver"
halting...
Kernel entry via Unknown syscall, word: 67

I'm aware that these examples have not been tested under simulation (there's a comment to this effect in config.cmake), however I was hoping to get some guidance about how I might get this working or whether it's a futile attempt. In particular, picotcp_tcp_echo claims to be configured for an e1000 card, which makes me think it should be possible. I'm quite new to CAmkES, so I'm sure I'm missing something obvious.

Any guidance would be greatly appreciated.