Martin Stein 3f60dcfae8 sel4 run/depot_autopilot: handle resource leak
After a certain number of tests, presumably some resource in core is exceeded
and loading the successive test fails. This quickfix looks out for the
characteristic Core error and then reboots to avoid that all successive tests
are marked as failed.
2019-01-14 12:34:41 +01:00
..
2018-11-16 15:07:52 +01:00
2018-05-30 12:26:19 +02:00
2018-05-31 14:02:20 +02:00
2018-11-29 11:54:30 +01:00