Michael Mueller 504bc57806 Merge branch 'ealan' into genode-24

2025-01-21 18:31:08 +01:00

..

cap_map.h

Increased number of caps available to core.

2024-09-15 19:40:48 +02:00

capability_space.h

Replace use of 'typedef' by 'using'

2024-07-02 12:00:11 +02: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

Merge branch 'ealan' into genode-24

2025-01-21 18:31:08 +01:00

util.h

nova: limit assertions during early boot

2024-08-27 15:26:51 +02:00