Stefan Kalkowski b71c1649d6 Fiasco.OC: check invoked capability (fix #341) ... Let the Fiasco.OC base platform succeed the cap_integrity run-script meaning that it is not feasible anymore to fake a capability by using a valid one together with a guessed local_name.		2012-08-30 11:15:27 +02:00
..
arm/cpu	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
base	Fiasco.OC: check invoked capability (fix #341)	2012-08-30 11:15:27 +02:00
foc_cpu_session	Adapt GDB monitor and Noux to CPU session changes	2012-08-03 12:06:31 +02:00
foc_pd_session	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
signal_session	Fiasco.OC: introduce Cap_index (fixes #149, #112)	2012-03-22 14:10:44 +01:00
util	Fiasco.OC: fix bugs in cap_map insertion/removal	2012-05-29 13:55:00 +02:00