mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-06 06:02:13 +00:00
faea43906f
This patch replaces the 'Heap' by a 'Sliced_heap' to avoid the allocation of a 16 KiB memory block when 'dummy' acts as a server. On seL4, such an allocation would exceed the 1M quota as assigned by the init.run script.
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.