2e1cbcae22
This adds GPIO module support. GPIO can be controlled using the GPIO number as stated in the reference manual, similar to Linux. Also 32-bit access to whole ports is possible. Reading a GPIO is possible without muxing the pad as GPIO, however writing a GPIO needs the pad to be muxed as GPIO.