mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-02 17:11:49 +00:00
The scratch buffer is now allocated from the heap and is shared between the test as they are executed in a serial fashion. This change saves memory as the test are constructed at start-up. Fixes #3539.
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.