100644 blob a3662c99e0844358b5f0c7c46cd1c97db95da674	Kbuild
100644 blob 195dd1d98695417c99efdad03ce3aac903238449	Kconfig
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob c5727bd8cea8f08d2c1fe82d33628cda7e9ae192	Makefile
100644 blob 3b9530e664c7adc7a7df6c4aaa45effde1b85aca	README.md
040000 tree 823b7c1d4bbfc3045f47fb79169385c34fd6446b	arch_include
040000 tree 7c90c78f6a7673a45c9eedd4cb150ffd0b473b6d	include
040000 tree 7a96836c018acc8351e951b8e826e239e23bc02a	sel4_arch_include
040000 tree 4c5bd7a428decfdb90c9f5e6b74bde222d2aed92	src