History log of /seL4-refos-master/libs/libplatsupport/src/plat/exynos5/mux.c
Revision Date Author Comments
# f31b6d07 10-Dec-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

platsupport: Don't require plat/gpio.h on all plat

The Arm interface for gpio_sys_t doesn't require any platform
definitions and so we don't need to include a platform header file.


# 398af6af 13-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of file


# a7130f9f 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

fix licenses


# 03ede780 23-Aug-2016 Kent McLeod <kent.mcleod@nicta.com.au>

Remove trailing whitespace