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