History log of /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/tk1/platsupport/plat/i2c.h
Revision Date Author Comments
# a373d023 06-Nov-2017 Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au>

platsupport: TK1: Add an I2C driver and define devices and IO ranges

* Document i2c_slave_t::i2c_opts
* Add i2c_opts arguments to slave_init
* Update flags to i2c_opts in source file


# 5761b927 28-Sep-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

pragma once and for all


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

fix licenses


# dafda718 15-Nov-2016 Adrian Danis <Adrian.Danis@data61.csiro.au>

libplatsupport: Refactor tk1 gpio/mux code

This commit refactors the mux and gpio code of the tk1 in the following ways
* Put GPIO code in gpio.c, not mux.c
* Bring back platform generic mux_sys_init and gpio_sys_init functions
* Make GPIO depend upon a mux without the mux initializing the GPIO
* Remove globals and use the provided 'priv' parts of the 'sys' structs
* Require gpio_sys_t be passed to 'gpio_*' functions instead of using
global variables
* Remove circular dependencies in headers and '#ifndef CONFIG_PLAT_TK1's from
generic arm headers


# 7525cdf6 21-Mar-2016 Yanyan Shen <yanyan.shen@nicta.com.au>

arm/tk1: add serial and timer drivers


# 1cb7097a 21-Mar-2016 Yanyan Shen <yanyan.shen@nicta.com.au>

arm/tk1: add serial and timer drivers