100644 blob 3dfb5a42c93e49d6fca8cf14e549729c916ad8f1	Kbuild
100644 blob 9438d4dc8651c39930b27a3050452617c5b24764	Kconfig
100644 blob 85cda3e9c7e3a6a540a443422288fa70eeca4328	LICENSE_BSD2.txt
100644 blob 345d1e8292ce1e895499b81841bf18f2f4c0e3b8	Makefile
100644 blob e617bd56829f329365e16729f39daab2443f322b	example_bootstrap.c
040000 tree a05b48e410dcbd6371c107636f5c3044bd41284a	include
040000 tree b27295dbe94f20b7dc50c36b61912ea43814c87f	sel4_arch
040000 tree 8f5e5bf3a287b01838cfba3c03328ec06736b4ac	src