Alexander Boettcher b72a6b3400 nova: remove legacy vCPU creation support ...

Vbox5 was the last user. Seoul and VBox6 using the Genode VM interface.

Issue #5492

2025-04-10 15:21:49 +02:00

..

core

nova: remove legacy vCPU creation support

2025-04-10 15:21:49 +02:00

include

base: scoped access of Native_thread

2025-04-10 14:24:11 +02:00

kernel/nova

base-nova: prevent linker warning

2023-05-30 12:03:28 +02:00

lib/base

Remove C++ exceptions from 'Thread' API

2025-04-10 14:27:21 +02:00

test/nova

base: introduce Local_rm for local Region_map

2025-04-10 14:55:57 +02:00

timer/nova

base: scoped access of Native_thread

2025-04-10 14:24:11 +02:00