This repository was archived by the owner on Aug 2, 2022. It is now read-only.
Heap allocator #56
Description
Implement allocator to enable use of new. On Linux, __gnat_malloc is implemented using malloc(). On Genode, env is passed to the runtime using a platform-specific interface (called by Genode-specific C++ platform code). On SPARK platforms the existing range allocator from secondary stack could be used.