mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-29 23:27:12 +00:00
Added a new constructor that takes the entrypoint as constructor argument. The original constructor retrieves the entrypoint from the Genode environment. This does not allow to use a different entrypoint.