amaury edf52a7b63 Merge branch 'thread_scheduler' of https://gitlab.istic.univ-rennes1.fr/simpleos/burritos into thread_scheduler		2023-03-13 18:48:32 +01:00
..
machine	added memory dump and reg_tace files for every testfile	2023-03-13 18:30:05 +01:00