History log of /seL4-camkes-master/projects/camkes/apps/pit/components/Driver/src/driver.c
Revision Date Author Comments
# e653f3f9 02-Dec-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert license tags to SPDX

Also clarifies provenance of code in `apps/fdtgen/fdt_utils.c`

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>


# c91b80ab 02-May-2019 Damon Lee <Damon.Lee@data61.csiro.au>

pit: Update to use libplatsupport IO port code

Again, same thing in the previous two commits.


# 2415c079 25-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Use PIT explicitly in PitDriver


# d03717c5 04-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Rexpand licenses


# 9e00d2dc 04-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Licenses: s/NICTA_BSD/DATA61_BSD


# 73257ba4 04-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Unexpand licenses


# 8436bbf5 09-May-2016 Adrian Danis <Adrian.Danis@nicta.com.au>

PIT example application

The only current example applications that use interrupts are on ARM,
this adds one for x86