diff options
Diffstat (limited to 'extras/mini-os/arch/x86/time.c')
-rw-r--r-- | extras/mini-os/arch/x86/time.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/extras/mini-os/arch/x86/time.c b/extras/mini-os/arch/x86/time.c index a55bf59ee6..89bc3826e8 100644 --- a/extras/mini-os/arch/x86/time.c +++ b/extras/mini-os/arch/x86/time.c @@ -32,13 +32,13 @@ */ -#include <os.h> -#include <traps.h> -#include <types.h> -#include <hypervisor.h> -#include <events.h> -#include <time.h> -#include <lib.h> +#include <mini-os/os.h> +#include <mini-os/traps.h> +#include <mini-os/types.h> +#include <mini-os/hypervisor.h> +#include <mini-os/events.h> +#include <mini-os/time.h> +#include <mini-os/lib.h> /************************************************************************ * Time functions |