Alexander Boettcher 4ae1faf14d base: add affinity support to pager construction ... Propagating the affinity information is needed to allow for assigning a pager thread that is local to the CPU of the to-be-created thread. issue #814		2013-08-13 17:08:23 +02:00
..
base	pistachio: return kip structure from get_kip	2013-07-16 16:23:49 +02:00
core	base: add affinity support to pager construction	2013-08-13 17:08:23 +02:00
kernel	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
platform	Rework the internal lock interface	2013-02-25 22:14:21 +01:00