get the sam7ex256 platform building again
diff --git a/platform/at91sam7/debug.c b/platform/at91sam7/debug.c
index 24a0d85..5520a21 100644
--- a/platform/at91sam7/debug.c
+++ b/platform/at91sam7/debug.c
@@ -64,6 +64,12 @@
     }
 }
 
+int dgetc(char *c, bool wait)
+{
+	return -1;
+}
+
+
 void _dputc(char c)
 {
 	ser_putc(c);
diff --git a/platform/at91sam7/timer.c b/platform/at91sam7/timer.c
index be65e9c..8e2c6e3 100644
--- a/platform/at91sam7/timer.c
+++ b/platform/at91sam7/timer.c
@@ -48,6 +48,11 @@
 	return ticks;
 }
 
+bigtime_t current_time_hires(void)
+{
+	return ticks * 1000ULL;
+}
+
 static enum handler_return pit_irq_handler(void *arg)
 {
     AT91PIT *pit = AT91PIT_ADDR;
diff --git a/scripts/do-sam7ex256-test b/scripts/do-sam7ex256-test
index 4505ad6..d549831 100755
--- a/scripts/do-sam7ex256-test
+++ b/scripts/do-sam7ex256-test
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-export DEBUG=true
+export DEBUG=2
 export PROJECT=sam7ex256-test
 
 make