History log of /seL4-l4v-10.1.1/seL4/src/arch/arm/64/machine/capdl.c
Revision Date Author Comments
# 84428fba 11-Jan-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

aarch64: Hide capDL function behind CONFIG guard

This is to allow compilation using cmake build system when building
without debug settings. In the old build system this file was excluded
from sources whereas in cmake we still include it.


# 40c61e5c 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses (the rest)


# eccaae51 20-Feb-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

s/D61/DATA61/ in license headers for consistency


# 0b2fe8d6 17-Jan-2017 amrzar <azarrabi@nicta.com.au>

aarch64: Initial implementation


# fac16fe8 11-Jan-2017 amrzar <azarrabi@nicta.com.au>

aarch64: add preliminary folders and Makefiles