[seL4] Automatic testing using qemu

Hi there,

I have written a seL4 app using CAmkES, that I am continuously building using Jenkins.

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 expectations.

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 for ever.

Any idea on how to achieve this?

Thank you very much in advance.

Cheers,

Paolo Crisafulli