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 ef0347116dca94c69c7307e4af1425ef2c685b3e	include
040000 tree b27295dbe94f20b7dc50c36b61912ea43814c87f	sel4_arch
040000 tree 7bfd0bc080d84fb87b5327dfa65950105fda5502	src