Benjamin Lamowski aad80e81da hw: add support for VMX ...

Add support for Intel's Virtual Machine Extensions with nested paging.

Fixes #5128

2024-05-29 08:37:08 +02:00

..

spec

hw: add support for VMX

2024-05-29 08:37:08 +02:00

base-hw-common.mk

hw: don't take the log backend's mutex in kernel

2023-01-24 12:07:29 +01:00

base-hw.inc

base: de-duplicate src/lib/base/platform.cc

2023-07-14 12:06:31 +02:00

bootstrap-hw.inc

Finally move __dso_handle into genode.ld

2023-07-14 12:06:32 +02:00

core-hw.inc

hw: re-name scheduler files according to class

2024-02-26 08:59:10 +01:00

timeout-hw.mk

base-hw: problems with timeout lib in src recipe

2022-10-12 11:59:08 +02:00