--- /dev/null
+/* \brief Empty project.
+ *
+ * This is a minimalist project, it just initializes the hardware of the
+ * supported board and proposes an empty main.
+ */
+
+#include "hw/hw_led.h"
+
+#include <cfg/debug.h>
+
+#include <cpu/irq.h>
+
+#include <drv/timer.h>
+
+static void init(void)
+{
+ /* Enable all the interrupts */
+ IRQ_ENABLE;
+
+ /* Initialize debugging module (allow kprintf(), etc.) */
+ kdbg_init();
+ /* Initialize system timer */
+ timer_init();
+ /* Initialize LED driver */
+ LED_INIT();
+}
+
+
+int main(void)
+{
+ init();
+
+ while (1)
+ {
+ // your code goes here
+ }
+
+ return 0;
+}
+