convert gpio to getput
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 23 Jul 2018 12:17:23 +0000 (13:17 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 23 Jul 2018 12:17:23 +0000 (13:17 +0100)
commit6ba885cd9cf6a04e45447b97e09f08469edd14ce
tree442511a98ae352f5274425371879d647bd47de83
parent9822125ef85fc9129624e46eacf188ac49dcd992
convert gpio to getput
src/peripherals/gpio/gpio.bsv