Good stuff for ARM7TDMI. get_/set_register() seem to work ok.

[goodfet] / firmware / include / platform.h

diff --git a/firmware/include/platform.h b/firmware/include/platform.h
index f7e9246..526c877 100644 (file)
--- a/firmware/include/platform.h
+++ b/firmware/include/platform.h
@@ -1,4 +1,12 @@
-//! \file platform.h
+/*! \file platform.h
+  \author Travis Goodspeed
+  \brief Port and baud rate definitions.
+  
+  The functions specified here are defined in the platform
+  definition file, such as msp430x1612.c or msp430x2618.c.
+*/
+
+#include "gfports.h"
 
 unsigned char serial_rx();
 void serial_tx(unsigned char);
@@ -17,5 +25,5 @@ void msp430_init_dco();
 //LED on P1.0
 #define PLEDOUT P1OUT
 #define PLEDDIR P1DIR
-#define PLEDPIN 0x1
+#define PLEDPIN BIT0