100644 blob 0a17c4cf0059708aaa5052e992c7fda60b6e4468	Kconfig
100644 blob 57f475a5516140a5a3ae7bb9109f380f06c524ef	Makefile
040000 tree accae297fde0a27c4e549740cfe11258fa5da8bd	boards
100644 blob b28582fe083cc698637f130bbfa2f0716697a8fa	coreb.c
100644 blob 7bca478526b9f0a95bc4c37882dc7144b62e61da	head.S
100644 blob 89c52ff95b27aaddc98c4b1c4e735ed65f457c4b	ints-priority.c