Re: [seL4] Automatic testing using qemu

Thank you very much for your very interesting answer. Some issues: - I'm no longer getting output from my emulated app in the terminal. - After echoing "quit", the socket seems to be no longer read (further socat commands hang), but ps still lists qemu-system-arm. Is that expected? On

Re: [seL4] Automatic testing using qemu

sel4.systems Subject: Re: [seL4] Automatic testing using qemu On Tue, May 15, 2018 at 7:43 AM, Paolo Crisafulli <paolo.crisafu...@irt-systemx.fr> wrote: 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 cont

Re: [seL4] Automatic testing using qemu

/ From: Devel <devel-bounces@sel4.systems> on behalf of Matt Rice <ratm...@gmail.com> Sent: Wednesday, 16 May 2018 5:08 AM To: Paolo Crisafulli Cc: devel@sel4.systems Subject: Re: [seL4] Automatic testing using qemu On Tue, May 15, 2018 at 7:43 AM, Paolo Crisafulli <paolo.crisafu...

Re: [seL4] Automatic testing using qemu

On Tue, May 15, 2018 at 7:43 AM, Paolo Crisafulli wrote: > 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