#include <stdio.h>
#include <string.h>
#include <stddef.h>
-#include "types.h"
+#include <helper/types.h>
#include "flash.h"
-#include "membuf.h"
+#include <helper/membuf.h>
#include "at91sam3.h"
-#include "time_support.h"
+#include <helper/time_support.h>
#define REG_NAME_WIDTH (12)