Index: gpioctl.8
===================================================================
--- gpioctl.8	(revision 255451)
+++ gpioctl.8	(working copy)
@@ -83,6 +83,7 @@
 .El
 .It Fl f Ar ctldev
 GPIO controller device to use
+If not specified, defaults to /dev/gpioc0
 .It Fl l
 list available pins
 .It Fl t Ar pin
Index: gpioctl.c
===================================================================
--- gpioctl.c	(revision 255451)
+++ gpioctl.c	(working copy)
@@ -185,6 +185,7 @@
 	int i;
 	struct gpio_pin pin;
 	struct gpio_req req;
+	char defctlfile[] = "/dev/gpioc0";
 	char *ctlfile = NULL;
 	int pinn, pinv, fd, ch;
 	int flags, flag, ok;
@@ -226,7 +227,7 @@
 		printf("%d/%s\n", i, argv[i]);
 
 	if (ctlfile == NULL)
-		fail("No gpioctl device provided\n");
+		ctlfile = defctlfile;
 
 	fd = open(ctlfile, O_RDONLY);
 	if (fd < 0) {