040000 tree 23dde05a4b07d393bf408f2ac67230637968b974	.github
100644 blob c26718317e2513a7b4748e28dc226eb6fa5fd814	.gitignore
100644 blob 51fdb2655db81c7b9bbcb3c9872560d8bd192233	.licenseignore
100644 blob 9b8b7a1b922b0b11842208589475a4bd65e36bd1	CMakeLists.txt
100644 blob 2280d600cfde9dc67aaa775dc338575315df4505	LICENSE.md
040000 tree 3e2f7b95ba9d7333caac54ca03376033f28adc95	LICENSES
100644 blob 8deda18a400cde36d4022b3ea07fc495d1f86008	PREUPLOAD.cfg
100644 blob 8a7b829673aac78b4656b7f30332ae38d0e10e16	README.md
040000 tree 96a5dd374427e25634e1f9ac4f904904f8417550	apps
040000 tree dad4935a3c3cc760e2a5f1168ba2fdf4f96653cc	docs
100644 blob 0b016bf428c74d03634730d200df837c16e686bf	domain_schedule.c
100644 blob ff153b8359960496bd87c08373e703a7a22a8add	easy-settings.cmake
040000 tree 920bec930c781efe40988f1f3575b4a62273fa3d	integrations
040000 tree b80712f706937468fc08d1f4609c7bc7ffb62185	libsel4testsupport
100644 blob f64b1e72d52ed64dcc9e0161070aff4577038791	settings.cmake