ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-22 06:57:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
7304a019e7
genode/repos/base-nova/run
History
Christian Prochaska 9a049789de core: mark implicitly detached regions as reserved 
Fixes #5069
2023-12-13 12:32:19 +01:00
..
platform.run core: mark implicitly detached regions as reserved 2023-12-13 12:32:19 +01:00