100644 blob fb3f2756872e27bafb21942b0fc9e8ebd06605a1	CMakeLists.txt
040000 tree e8e24977c831c4f7e93c56ec50b6703f6f89edd9	arch_include
040000 tree 09d7ed36fd1383edd58bf584468ace16dceb7cfd	include
040000 tree 1b0338f3b90b85aa50fa0038be0891173cfd4f0f	sel4_arch_include
040000 tree 557ad7749d4eaa46707ae6e3e15613ff745cd46a	src