10 lines
98 B
Plaintext
10 lines
98 B
Plaintext
|
#
|
||
|
# Paths to "ROOT" files associated with L4.verified
|
||
|
#
|
||
|
spec
|
||
|
proof
|
||
|
tools
|
||
|
camkes
|
||
|
sys-init
|
||
|
internal
|