[seL4] Re: picoserver and qemu

8 Feb 2022

      ...
...
...
...
...
"lfern70" == lfern70   writes:
lfern70> Everything seems to be ok, but when I tried to execute in
lfern70> qemu:
lfern70> $ sudo ./simulate  ...  -netdev user,id=network0,hostfwd=tcp::1234-:1234 

I think you need to say what address range QEMU thinks the network is
on.  So add
   net=192.168.0.21/24
 into the -netdev arg.

Peter C
-- 
Dr Peter Chubb                https://trustworthy.systems/
Trustworthy Systems Group                        CSE, UNSW