* supported board and proposes an empty main.
*/
+#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>
* 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>
* 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 <drv/ser.h>
* continues to monitor the stack utilization of all the processes.
*/
+#include "hw/hw_led.h"
+
#include <cfg/debug.h>
+
#include <cpu/irq.h>
-#include <hw/hw_led.h>
+
#include <drv/timer.h>
#include <drv/ser.h>
+
#include <kern/proc.h>
#include <kern/monitor.h>
* supported board and proposes an empty main.
*/
+#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>
* 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>
* 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 <drv/ser.h>
#include <drv/lcd_rit128x96.h>
* continues to monitor the stack utilization of all the processes.
*/
+#include "hw/hw_led.h"
+
#include <cfg/debug.h>
+
#include <cpu/irq.h>
-#include <hw/hw_led.h>
+
#include <drv/timer.h>
#include <drv/ser.h>
#include <drv/lcd_rit128x96.h>
#include <drv/kbd.h>
#include <drv/flash.h>
+
#include <kern/proc.h>
#include <kern/monitor.h>
* supported board and proposes an empty main.
*/
+#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>
* 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>
* 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>
static void init(void)
* continues to monitor the stack utilization of all the processes.
*/
+#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>
#include <kern/monitor.h>
* supported board and proposes an empty main.
*/
+#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>
* 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>