History log of /seL4-refos-master/libs/libplatsupport/plat_include/imx31/platsupport/plat/timer.h
Revision Date Author Comments
# 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.


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

libplatsupport,imx: Remove all timer constants

Now that the addresses of the registers and the IRQ numbers are being
read from the DTB, we no longer need these constants.


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


# 8eb5e34b 21-Jan-2020 Curtis Millar <curtis.millar@data61.csiro.au>

Fix clock frequency for kzm

The KZM `ipg_clk` has a maximum target frequency of 62.5MHz according to
the manual. With typcal configuration of scalers relative to the
`mcu_main_clock` this will be the target frequency.


# a0bf1d57 21-Aug-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS

This is to be consistent with the name defined in the kernel.


# 3f9cdc14 19-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

util_libs: remove autoconf.h from util_libs

this commit removes autoconf.h generation from each lib and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'


# 21a80d05 17-Dec-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix compilation on i.MX31 when !CONFIG_KERNEL_RT


# 43a15c3f 13-Dec-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Use EPIT1 as a timestamp timer for i.MX31 for RT

On the RT kernel, the kernel uses the GPT as opposed to master where the
kernel uses EPIT1.


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

Generify i.MX timers

This commit splits out imx timer functionality to remove the #ifdefs for
i.MX7. This is driven by the need on the RT kernel to use two EPITS
instead of an EPIT and GPT for the user level timer drivers, which makes
all the i.MX timers similar, in that they use a timer for timeouts and a
timer for the time, but different in that they all use different
combinations of timers.


# fd0e2d06 24-Aug-2017 Yanyan Shen <yanyan.shen@data61.csiro.au>

plat/imx7: add initial support for imx7 SoC


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

trivial: use pragma once


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

fix licenses