L4_CONFIG := $(call select_from_repositories,config/x86_64.user)

L4_INC_TARGETS := amd64/l4/sys amd64/l4f/l4/sys amd64/l4/vcpu

CC_OPT += -Iinclude/amd64

L4_BIN_DIR := $(LIB_CACHE_DIR)/syscall-foc/pc-build/bin/amd64_K8

include $(REP_DIR)/lib/mk/spec/x86/syscall-foc.inc