Axel Heider

> If I understand this right, the main thread sleeps for (1 second - half-a-period = 1 - 0.000002s) which should guarantee that each of the child threads should be...

Your QEMU emulates just one core, so the boot is stuck waiting for the other core to come up. There is no timeout in the seL4 boot process, so the...

Could this be something from lone time ago when SMP support was added. So checking `CONFIG_MAX_NUM_NODES' implied checking SMP support?

See also https://github.com/seL4/seL4/pull/1150

Could you squash the commits, them we can merge this, too.

Well, if this project is used again, having the known issues seems useful, somebody can fix them then.

Our build system basically does what `settings.cmake` does and that conflicts. The goal is being able to use existing seL4 projects like this without modification, so we don't have to...

Thanks, I will give this a try.

I have not found a better solution yet for our use case with a different/custom build system. I will check our internal CI one more tomorrow and merge this then....

No specific usecase, I was just looking for more visualizations the build process could generate to improve system documentation. So leaving out some deep details seems ok.