* Patch by Steven Scholz, 27 Feb 2004:
  - Adding get_ticks() and get_tbclk() for AT91RM9200
  - Many white space fixes in cpu/at91rm9200/interrupts.c

* Patches by Steven Scholz, 20 Feb 2004:
  some cleanup in AT91RM9200 related code
diff --git a/Makefile b/Makefile
index 605a19a..bb97631 100644
--- a/Makefile
+++ b/Makefile
@@ -905,9 +905,6 @@
 ## StrongARM Systems
 #########################################################################
 
-at91rm9200dk_config	:	unconfig
-	@./mkconfig $(@:_config=) arm at91rm9200 at91rm9200dk
-
 dnp1110_config	:	unconfig
 	@./mkconfig $(@:_config=) arm sa1100 dnp1110
 
@@ -1014,6 +1011,13 @@
 	@./mkconfig $(@:_config=) arm arm720t modnet50
 
 #########################################################################
+## AT91RM9200 Systems
+#########################################################################
+
+at91rm9200dk_config	:	unconfig
+	@./mkconfig $(@:_config=) arm at91rm9200 at91rm9200dk
+
+#########################################################################
 ## XScale Systems
 #########################################################################