===================================================================
RCS file: /cvs/funnyos/arch/sam7s64/dev/gpioled.c,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- funnyos/arch/sam7s64/dev/gpioled.c	2007/11/24 17:40:21	1.2
+++ funnyos/arch/sam7s64/dev/gpioled.c	2007/11/24 17:43:15	1.3
@@ -1,5 +1,5 @@
 /*
- * $Id: gpioled.c,v 1.2 2007/11/24 17:40:21 nbrk Exp $
+ * $Id: gpioled.c,v 1.3 2007/11/24 17:43:15 nbrk Exp $
  */
 #include <sys/types.h>
 #include <sys/device.h>
@@ -31,7 +31,7 @@
 	pin.gp_flags = GPIO_PIN_OUTPUT;
 	pin.gp_value = 1; 	/* LED on */
 
-	printf("P64 onboard LED (PA17)\n");
+	printf("p64 onboard LED (pin %d)\n", pin.gp_pinno);
 
 	/* talk to gpio controller */
 	gcp->gc_pinset(gcp->gc_selfdd, pin);