On Tue, May 15, 2018 at 7:43 AM, Paolo Crisafulli
I have written a seL4 app using CAmkES, that I am continuously building
I'd like to add a test step to this continuous integration process,
launching the app with qemu and parsing the output to validate my
The thing is, although all the active ("control") components reach their
last instruction after a while, seL4 does not "exit" (which is expected I
guess) and qemu does not stop, keeping my continuous integration job running
Any idea on how to achieve this?
Thank you very much in advance.
I'd imagine there are probably a few ways, mainly by binding the
monitor to some input device,
the following uses a unix socket/socat
qemu-system-i386 -monitor unix:path=./monitor.io,server,nowait &
# can exit whenever with
echo "system_powerdown" | socat - UNIX-CONNECT:monitor.io
echo "quit" | socat - UNIX-CONNECT:monitor.io