History log of /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/epit/epit.c
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.


# 90acf570 04-Mar-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

libplatsupport: Select imx mach drivers by plat

The mach folders contain shared drivers for all platforms with the same
"KernelArmMach" type. Making subdirectories allows for more fine grained
control of source file includes to handle situations when one or more
platforms don't use the shared devices but are still of the same mach.