genode/repos/base-nova/src
Alexander Boettcher c7195c8652 nova: sanitize cpu during pager assignment
Additionally print warnings about unavailable CPUs if they are tried to be
used during pager object setup.

Discovered during Turmvilla scenario #1552 and issue #1733.
2015-10-09 16:38:47 +02:00
..
base nova: avoid syscall on invalid signal capability 2015-10-09 16:38:46 +02:00
core nova: sanitize cpu during pager assignment 2015-10-09 16:38:47 +02:00
kernel nova: use kernel branch with quota handling 2015-08-21 10:59:45 +02:00
lib/startup Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
test/platform nova: extend platform test by PAT test 2015-08-31 09:09:22 +02:00