[seL4] Tutorial app hello-camkes-mcs not working

I've been able to build and run the hello-camkes-mcs example app from the camkes-mcs-tutorials.xml manifest both on a SabreLite board and in QEMU. However, when I try to run the app with the budget and period values given in the solution file, the client tasks don't appear to be running as they should.

See the output from running on the SabreLite here: https://pastebin.com/RM0aisyF

After that point it seems to hang. I tried smaller budget & period values and have been able to get one client task running, but the second task doesn't appear to be running.

Has anyone been able to run this example with different results?

Thanks, Nick VanderStel