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. |
||
---|---|---|
.. | ||
main.cc | ||
target.mk |
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. |
||
---|---|---|
.. | ||
main.cc | ||
target.mk |