Michael Mueller 13c22bc404 base-nova: Added new hypercalls for reserving a specific CPU, creating a habitat and querying the physical CPU ID.

2024-03-11 14:34:59 +01:00

..

cap_map.h

base: avoid implicit conversions

2021-12-17 15:04:44 +01:00

capability_space.h

core: avoid null pointer reference warning

2019-01-07 12:25:44 +01:00

native_thread.h

nova: remove obsolete local vcpu case

2020-07-30 08:49:23 +02:00

receive_window.h

Follow practices suggested by "Effective C++"

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

stdint.h

Adjust file headers to refer to the AGPLv3

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

syscall-generic.h

base-nova: Added new hypercalls for reserving a specific CPU, creating a habitat and querying the physical CPU ID.

2024-03-11 14:34:59 +01:00

util.h

nova: fix syscall bindings with GCC 6

2017-05-31 13:15:52 +02:00