* 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)
{
+ /* Enable all the interrupts */
IRQ_ENABLE;
+ /* Initialize debugging module (allow kprintf(), etc.) */
kdbg_init();
+ /* Initialize system timer */
timer_init();
- proc_init();
+ /* Initialize LED driver */
LED_INIT();
}
int main(void)
{
init();
+
+ /* Put your code here... */
while (1)
{
}