History log of /seL4-l4v-master/l4v/spec/haskell/include/gic.h
Revision Date Author Comments
# 092b1207 18-Apr-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

run astyle on all C files in the repository

Leaves parse tests and generated files unchanged, and provides a style
filter for these.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
# a424d55e 09-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

licenses: convert license tags to SPDX
# 93adccc1 30-May-2016 Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au>

license-tool: missing license headers + .licenseignore [VER-551]
# ebc7cbe5 23-May-2016 Japheth Lim <Japheth.Lim@nicta.com.au>

haskell: move Haskell kernel into spec/