History log of /seL4-refos-master/libs/libplatsupport/mach_include/imx/platsupport/mach/epit.h
Revision Date Author Comments
# 9f9288ea 01-Jan-2020 Damon Lee <Damon.Lee@data61.csiro.au>

trivial: Style changed files


# ababc799 01-Jan-2020 Damon Lee <Damon.Lee@data61.csiro.au>

trivial: Update licenses

All of these files saw significant changes, so we update the license to
reflect this.


# e3e65575 01-Jan-2020 Damon Lee <Damon.Lee@data61.csiro.au>

libplatsupport,imx: Move HW ops to driver level

Timer resource initialisation and the management of interrupts should
belong in the driver level and not the timer abstraction level. This
commits moves those operations down into the driver level for the i.MX
platforms.


# 4a4e0577 13-Dec-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Add more helpers to imx epit driver.

- epit_read gets the value of the epit counter
- epit_ticks_to_ns converts an epit tick value to ns
- epit_is_irq_raised allows the interrupt status to be queried


# 177cc5f7 13-Dec-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Add epit_set_timeout_ticks for imx platforms

Allows the epit to be programmed raw without converting from ns.


# df0a6024 19-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Remove pstimer_t from epit

Users now directly interact with epit interface


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

fix licenses