1 /* \brief Empty project.
3 * This is a minimalist project, it just initializes the hardware of the
4 * supported board and proposes an empty main.
13 #include <drv/timer.h>
15 static void init(void)
17 /* Enable all the interrupts */
20 /* Initialize debugging module (allow kprintf(), etc.) */
22 /* Initialize system timer */
24 /* Initialize LED driver */
35 // your code goes here