Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
b10f6fa42d1607261b959332bf257cb8a124c4bc
/
libsel4vka
/
sel4_arch_include
0016dfc
Fix all the whitespace
by Anna Lyons
· 8 years ago
9214341
Fix licenses
by Anna Lyons
· 8 years ago
3209509
Use CONFIG_ variables instead of configuration definitions
by Adrian Danis
· 8 years ago
9e3c8e2
libsel4vka: Add aarch64 support
by amrzar
· 8 years ago
b578b9e
Prepare for aarch64 implementation
by amrzar
· 8 years ago
8d2600e
libsel4vka: Add x86_64 object and kobject definitions
by Adrian Danis
· 9 years ago
7fa84ad
libsel4vka: Refactor object and kobject definitions
by Adrian Danis
· 9 years ago