diff options
Diffstat (limited to 'extras/mini-os/arch/x86/x86_32.S')
-rw-r--r-- | extras/mini-os/arch/x86/x86_32.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/mini-os/arch/x86/x86_32.S b/extras/mini-os/arch/x86/x86_32.S index e1426acac0..fb3e30a357 100644 --- a/extras/mini-os/arch/x86/x86_32.S +++ b/extras/mini-os/arch/x86/x86_32.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/arch-x86_32.h> .section __xen_guest |