mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-30 15:46:49 +00:00
Enable platform specific allocations and ram quota accounting for protection domains. Needed to allocate object identity references in the base-hw kernel when delegating capabilities via IPC. Moreover, it can be used to account translation table entries in the future. Ref #1443
This repository contains the port of Genode to the Codezero microkernel For instructions about using Genode with Codezero, please refer to 'doc/codezero.txt'.