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

..

base

Fiasco.OC: only access valid UTCB (fix #547)

2012-12-05 14:01:23 +01:00

bootstrap

Fiasco.OC: update to recent version (svn rev. 40)

2012-09-18 10:53:16 +02:00

core

base: extend cap_session with memory allocator

2012-12-21 14:54:20 +01:00

kernel

Fiasco.OC: enable i.MX53 platform

2012-11-23 12:20:27 +01:00

platform

base-foc: fix 'Genode::parent_cap()'

2012-10-30 12:17:20 +01:00

sigma0

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

test/cap_integrity

Fiasco.OC: several capability ref-counter fixes.

2012-09-03 10:59:54 +02:00