History log of /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/tegra.c
Revision Date Author Comments
# 288832e2 15-Sep-2019 Damon Lee <Damon.Lee@data61.csiro.au>

libplatsupport: Add Tegra IRQ controller parser

This commit adds in an additional IRQ controller parser module for the
Tegra interrupt controllers.