100644 blob 36ad4bc33a6cfcd83482a52c60b743a5adea0412	.clang-format
100644 blob cb48138902b2e4907ea672e651704413db0e5028	.cmake-format.yaml
040000 tree 12f586aed894606b3999d88080c12a406dc94c12	.github
100644 blob 9edd1325d9d46c02d44b1cbd75e2ad5376d97198	.gitignore
100644 blob 54d056fe1add5a88829e09d92f9ba331d1c59b20	.licenseignore
040000 tree 4227fe2b69d63242ac31168978e654d8e93bf6af	.reuse
100644 blob 2bb2942a58344bc5ccdac84691ae396a2adc59be	CAVEATS-generic.md
100644 blob 834ca7db6125f65375d4ecdecbc083191ad87ca5	CAVEATS-ia32.md
100644 blob 630e909f08d8ba316d9559f5d2483d073a4332ef	CHANGES
100644 blob daf37a89485083e234149ebb5acae282493e6070	CMakeLists.txt
100644 blob 03d0a95e7e9962b42d52f1811d4baa6beb49ae73	CODE_OF_CONDUCT.md
100644 blob 192d56a5a7ecde7a5fd5b450bf7fc3db3881ef14	CONTRIBUTING.md
100644 blob ee9a2691d5cf4c96ce2b566bec0b42f108f149fd	CONTRIBUTORS.md
100644 blob 8844fbd8abc849c0065f4c0df523c3960c0496de	FindseL4.cmake
100644 blob da41c7e2a36a992e2ed7aefb7f3dbde528170159	LICENSE.md
040000 tree 6b6ef1231c97e7c8ce0dc742f50373e5a8cdedee	LICENSES
100644 blob 8deda18a400cde36d4022b3ea07fc495d1f86008	PREUPLOAD.cfg
100644 blob 1f8fffeab1d1bad4be449c9890be4b405b706803	README.md
100644 blob 6e03ffbaca2fb76e31278de7efa25654da531bfa	VERSION
100644 blob 71b41d8a82c1c875ac6d3c267fa4a6c6f1819aa8	config.cmake
040000 tree a5c4a4283df9d4297f7c41ddd9cbccc1a9d9b32a	configs
100644 blob bc3d33a0ffdc2b03675be0dcd4701acac6f818d7	gcc.cmake
100644 blob b05ccafb275dbc6d2d9baf773efc88302088c546	gdb-macros
040000 tree 7e756f70bb7ae816cbc93a23c79e0fe56b618dc0	include
040000 tree e6468def799c00a535ef556b901a5c7fe6752eb1	libsel4
100644 blob 513f5d905155ebd5bd7007584c49c0383f63bf8e	llvm.cmake
040000 tree f56b3e8bdbd27dafa64c1d112be96c41900e00d0	manual
040000 tree 48f13c2002d5034017f5dc44781ce589679a1433	src
040000 tree 174d056bf8f176b2a8ddd48423aeb07638021a72	tools