diff options
Diffstat (limited to 'extras/mini-os/arch/x86/x86_64.S')
-rw-r--r-- | extras/mini-os/arch/x86/x86_64.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/mini-os/arch/x86/x86_64.S b/extras/mini-os/arch/x86/x86_64.S index a8b1933da2..a65e5d5d8e 100644 --- a/extras/mini-os/arch/x86/x86_64.S +++ b/extras/mini-os/arch/x86/x86_64.S @@ -1,5 +1,5 @@ -#include <os.h> -#include <arch_limits.h> +#include <mini-os/os.h> +#include <mini-os/x86/arch_limits.h> #include <xen/features.h> .section __xen_guest |