History log of /seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/gpio_utils.h
Revision Date Author Comments
# 8e531505 15-Oct-2019 Damon Lee <Damon.Lee@data61.csiro.au>

trivial: Style changed files
# 2960980d 14-Oct-2019 Damon Lee <Damon.Lee@data61.csiro.au>

platsupport: Add GPIO utility library

The GPIO pin chaining and I/O functions are now moved to this new
utility library.