diff options
Diffstat (limited to 'extras/mini-os/kernel.c')
| -rw-r--r-- | extras/mini-os/kernel.c | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c index 33c91b59ff..19e4400be4 100644 --- a/extras/mini-os/kernel.c +++ b/extras/mini-os/kernel.c @@ -27,22 +27,22 @@ * DEALINGS IN THE SOFTWARE. */ -#include <os.h> -#include <hypervisor.h> -#include <mm.h> -#include <events.h> -#include <time.h> -#include <types.h> -#include <lib.h> -#include <sched.h> -#include <xenbus.h> -#include <gnttab.h> -#include <netfront.h> -#include <blkfront.h> -#include <fbfront.h> -#include <pcifront.h> -#include <fs.h> -#include <xmalloc.h> +#include <mini-os/os.h> +#include <mini-os/hypervisor.h> +#include <mini-os/mm.h> +#include <mini-os/events.h> +#include <mini-os/time.h> +#include <mini-os/types.h> +#include <mini-os/lib.h> +#include <mini-os/sched.h> +#include <mini-os/xenbus.h> +#include <mini-os/gnttab.h> +#include <mini-os/netfront.h> +#include <mini-os/blkfront.h> +#include <mini-os/fbfront.h> +#include <mini-os/pcifront.h> +#include <mini-os/fs.h> +#include <mini-os/xmalloc.h> #include <fcntl.h> #include <xen/features.h> #include <xen/version.h> |