I'm not developer, neither amateur developer, so I would prefer to contribute in other stuff more related to deployments and more generic stuff. I really don't want to scare people with my "code" :-) ... and prefer to let that kind of pulls to experts on this specific matter.
El sáb, 29 may 2021 a las 9:16, Gernot Heiser (<ger...@unsw.edu.au>) escribió: > 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 > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
