mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-13 14:35:34 +00:00
It turned out that the controller configuration can change during the self tests, so now it is read before running the tests and restored afterwards. Fixes #1260.