genode/repos/base-hw/include/kernel
Alexander Boettcher df27cc87b5 hw/x86: add suspend kernel syscall
using the ACPI mechanism. The syscall can be triggered solely via core's
RPC managing_system call.

Issue #4669
2023-02-27 08:22:50 +01:00
..
interface.h hw/x86: add suspend kernel syscall 2023-02-27 08:22:50 +01:00
types.h hw: unify architectural kernel interface header 2022-02-28 11:45:18 +01:00