Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
#include <xtf/console.h>
#include <xtf/hypercall.h>
-#include <arch/x86/config.h>
+#include <arch/x86/desc.h>
#include <arch/x86/mm.h>
uint8_t boot_stack[PAGE_SIZE] __aligned(PAGE_SIZE);
#include <xtf/traps.h>
-#include <arch/x86/config.h>
-
/*
* Getting called means that a shutdown(crash) hypercall has not succeeded.
* Attempt more extreme measures to try and force a crash, and fall into an
AFLAGS_$($(1)_arch) := $$(COMMON_AFLAGS) $$(COMMON_AFLAGS-$($(1)_arch))
CFLAGS_$($(1)_arch) := $$(COMMON_CFLAGS) $$(COMMON_CFLAGS-$($(1)_arch))
-AFLAGS_$(1) := $$(AFLAGS_$($(1)_arch)) $$(COMMON_AFLAGS-$(1)) -DCONFIG_ENV_$(1)
-CFLAGS_$(1) := $$(CFLAGS_$($(1)_arch)) $$(COMMON_CFLAGS-$(1)) -DCONFIG_ENV_$(1)
+AFLAGS_$(1) := $$(AFLAGS_$($(1)_arch)) $$(COMMON_AFLAGS-$(1)) -DCONFIG_ENV_$(1) -include arch/x86/config.h
+CFLAGS_$(1) := $$(CFLAGS_$($(1)_arch)) $$(COMMON_CFLAGS-$(1)) -DCONFIG_ENV_$(1) -include arch/x86/config.h
link-$(1) := $(ROOT)/arch/x86/link-$(1).lds
#include <stdint.h>
-#include <arch/x86/config.h>
#include <arch/x86/page.h>
#include <xen/xen.h>