#include <hw/hw_led.h>
#include <drv/timer.h>
#include <drv/ser.h>
-#include <kern/proc.h>
-#include <drv/ser.h>
static Serial out;
ser_setbaudrate(&out, 115200);
/* Initialize LED driver */
LED_INIT();
-
- /*
- * Kernel initialization: processes (allow to create and dispatch
- * processes using proc_new()).
- */
- proc_init();
}
int main(void)