Commit 7c5bf780 by Jimmy Brush

make seL4_DebugHalt not return

parent 37d3c7bb
Pipeline #10255333 failed with stage
in 2 minutes 3 seconds