adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

arm-hyp: add missing license header

This commit is contained in:
Gerwin Klein 2017-04-16 16:48:39 +10:00 committed by Alejandro Gomez-Londono
parent 9f32001c78
commit 5b92b63e98
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.licenseignore
View File

@ -65,6 +65,7 @@ spec/haskell/src/SEL4/Object/Interrupt.lhs-boot
spec/haskell/src/SEL4/Object/CNode.lhs-boot
spec/haskell/src/SEL4/Object/Endpoint.lhs-boot
spec/haskell/src/SEL4/Object/ObjectType.lhs-boot
spec/haskell/src/SEL4/Object/Structures.lhs-boot
spec/haskell/src/SEL4/Object/TCB.lhs-boot
spec/haskell/src/SEL4/Object/IOPort/X64.lhs-boot

9
spec/haskell/check-arm-hyp.py
View File

@ -1,4 +1,13 @@
#!/usr/bin/env python3
#
# Copyright 2017, Data61, CSIRO
#
# This software may be distributed and modified according to the terms of
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
# See "LICENSE_BSD2.txt" for details.
#
# @TAG(DATA61_BSD)
#
# Currently ARM_HYP.lhs files duplicate ARM.lhs functionality, but we are not
# sure how accurately. This script preprocesses ARM_HYP.lhs files for the "ARM"