History log of /seL4-camkes-master/projects/global-components/components/GPIOMUXServer/src/mux.c
Revision Date Author Comments
# ff3d96f5 04-May-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

GPIOMUXServer: Refactor client-server interface

Use the connector definitions to control interface configuration and
initialization.

Provide an ADL API for creating the GPIOServer client-server interface
in any component.

Provide an ADL API for creating the MUXServer client-server interface in
any component.


# 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.