genode/repos/base-hw/src/base
Stefan Kalkowski 458b4d6fc4 base: redesign object pool using lambda interface
Instead of returning pointers to locked objects via a lookup function,
the new object pool implementation restricts object access to
functors resp. lambda expressions that are applied to the objects
within the pool itself.

Fix #884
Fix #1658
2015-09-09 15:14:28 +02:00
..
arm/kernel hw: re-organize file structure 2014-08-15 10:19:48 +02:00
cpu base: interface for D- and I-cache synchronization 2014-05-27 11:14:45 +02:00
ipc hw: kernel backed capabilities (Fix #1443) 2015-05-26 09:40:04 +02:00
lock hw: kernel backed capabilities (Fix #1443) 2015-05-26 09:40:04 +02:00
server base: redesign object pool using lambda interface 2015-09-09 15:14:28 +02:00
signal hw: remove redundant file from signal library 2015-07-01 14:46:18 +02:00
thread hw: kernel backed capabilities (Fix #1443) 2015-05-26 09:40:04 +02:00
x86_64/kernel Update or add hw_x86_64 copyright headers 2015-03-27 11:53:32 +01:00
capability.cc hw: kernel backed capabilities (Fix #1443) 2015-05-26 09:40:04 +02:00
env.cc hw: kernel backed capabilities (Fix #1443) 2015-05-26 09:40:04 +02:00