genode/base-linux
Alexander Boettcher 8c4e1b7eb0 base: extend cap_session with memory allocator
Required to allocate memory to remember per session created capabilities.
During session destruction all capabilities have to be freed up.
2012-12-21 14:54:20 +01:00
..
2011-12-22 16:19:25 +01:00
2011-12-22 16:19:25 +01:00

This repository contains the Linux-specific implementation of Genode.