Alexander Boettcher 356526d610 foc: increase USER_BASE_CAP ...

due to THREAD_AREA_SLOT increase by

foc/x86: implement vm_session interface

Add additional static assertion check to detect misconfiguration earlier.

2019-04-09 12:30:34 +02:00

..

capability_space.h

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

native_capability.h

foc: increase USER_BASE_CAP

2019-04-09 12:30:34 +02:00

native_thread.h

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

receive_window.h

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

thread_state.h

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00