History log of /seL4-refos-master/libs/libplatsupport/mach_include/nvidia/platsupport/mach/timer.h
Revision Date Author Comments
# 94a1371a 19-Sep-2019 Damon Lee <Damon.Lee@data61.csiro.au>

trivial: Style changed files


# 6a4bb8f8 19-Sep-2019 Damon Lee <Damon.Lee@data61.csiro.au>

nvidia: Remove unnecessary nv_tmr_config_t struct

This is no longer used and can be deleted.


# 71c24e10 15-Sep-2019 Damon Lee <Damon.Lee@data61.csiro.au>

nvidia: Del. get_nth_irq/pmem & related functions

Now that the hard-coded addresses and IRQ numbers are being removed,
these functions are no longer necessary.


# 4fbe8b67 15-Sep-2019 Damon Lee <Damon.Lee@data61.csiro.au>

nvidia: Move timer HW management to driver level

Instead of allocating and managing all resources in the ltimer level,
this commit refactors the related code and moves them into the driver
level. This moves the responsibilities down into a more suitable
abstraction level.


# 547ab7a6 14-Apr-2019 Damon Lee <Damon.Lee@data61.csiro.au>

libplatsupport: Change NVIDIA plat default timers

We use TMR1 instead of TMR0 due to the fact that
the IRQ for TMR1 is missing from the DTS file for
TX1. It exists for TX2, but for the sake of
compatibility, we use TMR1 for both.


# 177d4e19 22-Nov-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

platsupport: Refactor TX2 timers to use 4k mapping

The TK1 and TX1 timers we use are all located within a 4k region.
However, on TX2 the timers are each on a separate 64k region. We need to
create multiple mappings to implement a logical timer because of this.
In the timer driver we also can't assume that the mapping is contiguous.


# e12c0245 31-Oct-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

platsupport: Split nvidia definitions into plat

This is in preparation for the tx2 build which has the same devices but
with different interrupt and address mappings.


# 679930e3 06-Nov-2017 Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au>

platsupport: TK1 NVTMR: Enable periodic mode support


# 4b5875cd 20-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Remove pstimer from nvidia timers, refactor to suite ltimers


# 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


# 021ed1ce 15-Feb-2017 amrzar <azarrabi@nicta.com.au>

libplatsupport: add tx1 platform


# 08b306d2 15-Feb-2017 amrzar <azarrabi@nicta.com.au>

libplatsupport: create mach folder for nvidia machines