100644 blob fb3f2756872e27bafb21942b0fc9e8ebd06605a1	CMakeLists.txt
040000 tree 7e1129b00fa151d854138cd6ae6c38525916ee55	arch_include
040000 tree e8360f38f65b9c36ec638086d248c23208f001cf	include
040000 tree 1b0338f3b90b85aa50fa0038be0891173cfd4f0f	sel4_arch_include
040000 tree a7d9c5f1ba3c6e272d5b49fc07973f300cf8236c	src