Stefan Kalkowski ca004658d9 Fiasco.OC: smart-pointer for kernel capabilities. ...

Implements Native_capability as smart-pointer type referencing Cap_index
objects. Whenever capabilities are copied, assigned, constructed, or destructed
the reference-counter of the Cap_index is incremented/decremented. When it
reaches zero the Cap_index is removed from the process-global cap_map and
gets freed. Fix for issue #32.

2012-05-09 20:50:57 +02:00

..

arm/cpu

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

base

Fiasco.OC: smart-pointer for kernel capabilities.

2012-05-09 20:50:57 +02:00

foc_cpu_session

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01: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