genode/repos/base-sel4/lib/mk/spec/x86_64/syscall-sel4-pc.mk

PLAT := pc99
ARCH := x86

SEL4_ARCH := x86_64
PLAT_BOARD := /$(SEL4_ARCH)
SEL4_WORDBITS := 64

ARCH_INCLUDES := exIPC.h vmenter.h
SEL4_ARCH_INCLUDES := syscalls_syscall.h

include $(REP_DIR)/lib/mk/syscall-sel4.inc
sel4: add x86_64 support Issue #2451 2017-06-22 18:47:02 +02:00			`PLAT := pc99`
			`ARCH := x86`

			`SEL4_ARCH := x86_64`
			`PLAT_BOARD := /$(SEL4_ARCH)`
			`SEL4_WORDBITS := 64`

sel4/x86: implement vm_session interface Issue #3111 - enable vt-x in kernel configuration Kernel patches: - add unrestricted guest support - avoid kernel boot failure when vt-x is not available - avoid nullpointer in kernel when vcpu is not fully setup - avoid vcpu scheduling bug which causes starvation on same/below prio level - save efer register correctly from guest 2018-09-26 11:00:01 +02:00			`ARCH_INCLUDES := exIPC.h vmenter.h`
sel4: add x86_64 support Issue #2451 2017-06-22 18:47:02 +02:00			`SEL4_ARCH_INCLUDES := syscalls_syscall.h`

			`include $(REP_DIR)/lib/mk/syscall-sel4.inc`