Skip to content
This repository has been archived by the owner on Aug 2, 2022. It is now read-only.

Heap allocator #56

Open
senier opened this issue Oct 28, 2019 · 0 comments
Open

Heap allocator #56

senier opened this issue Oct 28, 2019 · 0 comments

Comments

@senier
Copy link
Member

senier commented Oct 28, 2019

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.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant