3 Commits

Author	SHA1	Message	Date
Stefan Kalkowski	319813a59b	Merge spin-lock implementations ... Separate spin-lock implementation from lock-implementation and put it into a non-public header, so it can be re-used by the DDE kit's and Fiasco.OC's capability-allocator spin lock. Fixes issue #123.	2012-02-29 15:41:17 +01:00
Norman Feske	f3fcb5f56f	Facility for reinitializing Platform_env ... The new function 'Platform_env::reload_parent_cap' triggers a reload of the parent capability and its respective resources. It is needed during the bootstrap of a new process forked from an existing Noux process.	2012-02-22 15:56:45 +01:00
Genode Labs	da4e1feaa5	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00