diff options
Diffstat (limited to 'extras/mini-os/sched.c')
| -rw-r--r-- | extras/mini-os/sched.c | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/extras/mini-os/sched.c b/extras/mini-os/sched.c index b1e1d288b8..c0229c5687 100644 --- a/extras/mini-os/sched.c +++ b/extras/mini-os/sched.c @@ -35,16 +35,16 @@ * DEALINGS IN THE SOFTWARE. */ -#include <os.h> -#include <hypervisor.h> -#include <time.h> -#include <mm.h> -#include <types.h> -#include <lib.h> -#include <xmalloc.h> -#include <list.h> -#include <sched.h> -#include <semaphore.h> +#include <mini-os/os.h> +#include <mini-os/hypervisor.h> +#include <mini-os/time.h> +#include <mini-os/mm.h> +#include <mini-os/types.h> +#include <mini-os/lib.h> +#include <mini-os/xmalloc.h> +#include <mini-os/list.h> +#include <mini-os/sched.h> +#include <mini-os/semaphore.h> #ifdef SCHED_DEBUG |