* continues to monitor the stack utilization of all the processes.
*/
+#include "hw/hw_led.h"
+
#include <cfg/debug.h>
+
#include <cpu/irq.h>
#include <cpu/power.h>
-#include <hw/hw_led.h>
+
#include <drv/timer.h>
#include <drv/ser.h>
+
#include <kern/proc.h>
#include <kern/monitor.h>
kdbg_init();
/* Initialize system timer */
timer_init();
+ /*
+ * XXX: Arduino has a single UART port that was previously
+ * initialized for debugging purpose.
+ * In order to activate the serial driver you should disable
+ * the debugging module.
+ */
+#if 0
/* Initialize UART0 */
ser_init(&out, SER_UART0);
/* Configure UART0 to work at 115.200 bps */
ser_setbaudrate(&out, 115200);
+#else
+ (void)out;
+#endif
/* Initialize LED driver */
LED_INIT();
init();
/* Create a new child process */
- proc_new(led_process, NULL, KERN_MINSTACKSIZE, NULL);
+ proc_new(led_process, NULL, KERN_MINSTACKSIZE * 2, NULL);
/*
* The main process is kept to periodically report the stack