Alexander Boettcher 5440cd4b50 base: use blockade in thread ... Issue #3612		2020-02-20 12:11:22 +01:00
..
cap_map.cc	base/core: use references instead of pointers	2019-02-12 10:33:13 +01:00
capability.cc	nova: avoid invalid capability counting overhead	2019-12-20 11:29:21 +01:00
ipc.cc	base/core: use references instead of pointers	2019-02-12 10:33:13 +01:00
region_map_client.cc	base: support to attach RAM dataspaces readonly	2018-05-30 13:36:27 +02:00
rpc_cap_alloc.cc	base: remove dependency from deprecated APIs	2019-02-19 11:08:17 +01:00
rpc_entrypoint.cc	nova: handle rpc_entrypoint destruction better	2019-12-20 11:31:39 +01:00
signal_transmitter.cc	base-nova: remove signal-delivery failure warning	2019-01-30 13:55:19 +01:00
sleep.cc	Follow practices suggested by "Effective C++"	2018-01-17 12:14:35 +01:00
stack_area_addr.cc	base: make stack area base specifiable for core	2017-08-28 16:49:46 +02:00
stack.cc	base/core: use references instead of pointers	2019-02-12 10:33:13 +01:00
thread_start.cc	base: use blockade in thread	2020-02-20 12:11:22 +01:00
vm_session.cc	vm_session: return vcpu id when creating vcpu	2019-11-21 14:29:36 +01:00