Alexander Boettcher 2a3b0d72b3 Don't deallocate invalid cap ... SC slot is unused here.		2012-07-04 14:56:45 +02:00
..
base	Fix: Avoid deadlock during cleanup of entrypoint	2012-07-04 14:56:45 +02:00
core	Don't deallocate invalid cap	2012-07-04 14:56:45 +02:00
kernel	Use NOVA microkernel from github, add 64bit	2012-06-20 19:44:07 +02:00
platform	Use NOVA microkernel from github, add 64bit	2012-06-20 19:44:07 +02:00