On 29 May 2021, at 17:10, Hugo V.C. <skydive...@gmail.com<mailto:skydive...@gmail.com>> wrote:
Or, change de default "main.c" so the system executes some very simple endless task (i.e. just printing "Hello World" in an endless loop) that may be more "beatiful" than a system crash due to cap violation. pull requests welcome ;-) _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
