Hi, I am trying to test picoserver app in qemu, but I am not able to connect to 
the echo component on port 1234. These are the steps I am following, please, 
let me know if I am doing something wrong. Thanks in advance:

$ repo init -u https://github.com/seL4/camkes-manifest.git
$ repo sync
# use docker container to compile 
$ container
@in-container:/host$ mkdir build
@in-container:/host$ cd build
@in-container:/host$ ../init_build.sh -DCAMKES_APP=picoserver 
-DPICOSERVER_IP_ADDR=127.0.0.1 -DSIMULATION=1
@in-container:/host$ ninja

Everything seems to be ok, but when I tried to execute in qemu:
$ sudo ./simulate --machine q35,accel=kvm,kernel-irqchip=split --mem-size 2G 
--extra-cpu-opts "+vmx" --extra-qemu-args="--enable-kvm -device 
intel-iommu,intremap=on,caching-mode=on -netdev 
user,id=network0,hostfwd=tcp::1234-:1234 -device e1000e,netdev=network0"

It seems the echo component is listening on port 1234, but if I try to send 
data with "netcat 127.0.0.1 1234" I can't reach the echo component

......
IOMMU 0x0: enabling... enabled
Booting all finished, dropped to user space
Protocol ethernet registered (layer: 2).
Protocol ipv4 registered (layer: 3).
Protocol ipv6 registered (layer: 3).
Protocol icmp4 registered (layer: 4).
Protocol icmp6 registered (layer: 4).
Protocol igmp registered (layer: 4).
Protocol udp registered (layer: 4).
Protocol tcp registered (layer: 4).
listener instance starting up, going to be listening on 192.168.0.21:4321
echo instance starting up, going to be listening on 192.168.0.21:1234
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to