* supported board and proposes an empty main.
*/
+#include "hw/hw_led.h"
+
#include <cfg/debug.h>
+
#include <cpu/irq.h>
-#include <hw/hw_led.h>
+
#include <drv/timer.h>
-#include <kern/proc.h>
static void init(void)
{
timer_init();
/* Initialize LED driver */
LED_INIT();
-
- /*
- * Kernel initialization: processes (allow to create and dispatch
- * processes using proc_new()).
- */
- proc_init();
}
int main(void)