Scheduler is now selectable in make menuconfig in kernel hacking.
[projects/modsched/linux.git] / kernel / sched / modsched / framework / os / bertos / os.h
1 #ifndef BERTOS_OS_H_
2 #define BERTOS_OS_H_
3
4 #include <cfg/os.h>
5 #include <cfg/compiler.h>
6
7 #include "cfg/cfg_debug.h"   /* CONFIG_KDEBUG_* */
8
9 #include <kern/irq.h>
10
11 #ifdef _DEBUG
12         #include <cpu/attr.h>        /* CPU_HARVARD */
13         #if CPU_HARVARD
14                 #include <cpu/pgm.h>
15                 //void os_printf_P(const char *PROGMEM fmt, ...) FORMAT(__printf__, 1, 2);
16                 #define os_printf(fmt, ...)  kprintf_P(PSTR(fmt) ,## __VA_ARGS__)
17         #else /* !CPU_HARVARD */
18                 void os_printf(const char *fmt, ...) FORMAT(__printf__, 1, 2);
19         #endif /* !CPU_HARVARD */
20 #endif
21
22
23
24
25 #endif /* BERTOS_OS_H_ */