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