altos: Allow ports to use type other than 'void *' for gpio block

[fw/altos] / src / kernel / ao.h

diff --git a/src/kernel/ao.h b/src/kernel/ao.h
index d714cecbd15e508c3705c0e6751ecae5db2bb475..b3f780f5c7609797c15c895e90b0fa965dcf1a44 100644 (file)
--- a/src/kernel/ao.h
+++ b/src/kernel/ao.h
@@ -40,6 +40,11 @@ extern char ao_getchar(void);
 #define HAS_TASK       1
 #endif
 
+#ifndef AO_GPIO_TYPE
+#define AO_GPIO_TYPE void *
+#endif
+
+typedef AO_GPIO_TYPE ao_gpio_t;
 typedef AO_PORT_TYPE ao_port_t;
 
 #ifndef AO_TICK_TYPE