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

PLAT := pc99
ARCH := x86

SEL4_ARCH := ia32
PLAT_BOARD := /$(SEL4_ARCH)
SEL4_WORDBITS := 32

ARCH_INCLUDES := exIPC.h vmenter.h

include $(REP_DIR)/lib/mk/syscall-sel4.inc
sel4: add x86_64 support Issue #2451 2017-06-22 16:47:02 +00:00			`PLAT := pc99`
			`ARCH := x86`
sel4: first syscall invokation 2014-10-15 16:11:17 +00:00
sel4: add x86_64 support Issue #2451 2017-06-22 16:47:02 +00:00			`SEL4_ARCH := ia32`
			`PLAT_BOARD := /$(SEL4_ARCH)`
			`SEL4_WORDBITS := 32`
toolchain: report missing ports at once Previously, ports that were needed for a scenario and that were not prepared or outdated, triggered one assertion each during the second build stage. The commit slots a mechanism in ahead that gathers all these ports during the first build stage and reports them in form of a list before the second build stage is entered. This list can be used directly as argument for tool/ports/prepare_port to prepare respectively update the ports. If, however, this mechanism is not available, for example because a target is build without the first build stage, the old assertion still prevents the target from running into troubles with a missing port. Fixes #1872 2016-02-04 11:20:03 +00:00
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 09:00:01 +00:00			`ARCH_INCLUDES := exIPC.h vmenter.h`
sel4: first syscall invokation 2014-10-15 16:11:17 +00:00
sel4: add x86_64 support Issue #2451 2017-06-22 16:47:02 +00:00			`include $(REP_DIR)/lib/mk/syscall-sel4.inc`