mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-23 02:32:44 +00:00
98ecde5b7b
The test reverts the platform drivers' config at the end of the test to an empty state. However, this state should still contain a default policy (analogyously to the initial state). Otherwise, the platform session of the test program will (sometimes) become invalid just before successfully finishing the test.
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.