History log of /seL4-camkes-master/projects/global-components/components/GPIOMUXServer/libGPIOMUXServer-client/include/gpiomuxserver.h
Revision Date Author Comments
# 89c164e0 22-Mar-2020 Damon Lee <Damon.Lee@data61.csiro.au>

GPIOMUXServer: Add client library

This client library provides a way for users to turn functions exposed
by the GPIOMUXServer into the nice and accessible gpio_sys_t interface
in libplatsupport.


# 10363d4f 22-Sep-2019 Damon Lee <Damon.Lee@data61.csiro.au>

components: Add new GPIOMUXServer

This commit adds in a new CAmkES component: GPIOMUXServer. The component
is intended to multiplex the MUX and GPIO functionalities of a platform.
The component also includes a client library which abstracts over
libplatsupport/libplatsupportports and exposes the necessary constants
needed to interact with the component. At the moment, the server has
pretty basic functionality and only has exynos5 and tx2 support.