Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
d6674667a0df02bba625397aca5cb457d35ccd37
/
libsel4platsupport
/
include
/
sel4platsupport
/
platsupport.h
600fe15
convert to SPDX license headers
by Gerwin Klein
· 4 years ago
135c651
pragma once and for all
by Anna Lyons
· 7 years ago
9214341
Fix licenses
by Anna Lyons
· 8 years ago
3ccebef
libsel4platsupport: Store bootinfo location as an environment variable
by Adrian Danis
· 8 years ago
e9a676d
libsel4platsupport: Remove platsupport_zero_globals hack.
by Matthew Fernandez
· 9 years ago
459c883
Add 'libsel4platsupport/' from commit 'cb83528261de6ad393a80a3acbc6a7e6059790e1'
by Anna Lyons
· 9 years ago