In my opinion the edit/compile/test loop with the standard build system seeed slow, so I thought I'd try to see if CMake might be any better. Here is repo manifest which uses CMake for building my sel4-newlibs helloworld application and I'm happy to report there is some improvement.

For a "clean" build it is about 2x faster, 8 seconds as compared to 14 seconds. And for a small change to apps/helloworld/src/main.c it is 20x faster, 0.3 seconds as compared to 7 seconds.

Is there any interest in using CMake or other build system to reduce the builds times for seL4?

-- Wink