Gerwin Klein

So, this is complicated. The user experience of getting the right build toolchain installed is already pretty complex. If we add to that a step to manually upgrade `cmake`, I...

Docker is only provided as a convenience, not as the one and only way to build seL4, and I don't think we should go there, that would be way too...

Should probably ping at least @seL4/tsc for this (removal of the concept of untyped objects in the manual -- mainly because they don't exist).

(rebased and signed off for DCO)

(made gitlint happy)

@yyshen is this good to merge from your side? It'd probably be good to test this against the existing VMs we have, so I might hold off until we have...

> I had a go roughly, but will have another go again, if the need is not urgent. It's not super urgent, just trying to figure out which of these...

It looks like there are compile errors with `clang` for [some configurations](https://github.com/seL4/seL4/pull/324/checks?check_run_id=3419863391#step:3:7710): ``` /github/workspace/kernel/src/arch/x86/64/c_traps.c:138:25: error: invalid lvalue in asm input for constraint 'm' [failed]"m"(vmlaunch_failed), ^~~~~~~~~~~~~~~ /github/workspace/kernel/src/arch/x86/64/c_traps.c:241:25: error: invalid lvalue in...

Looking good!

Hey @yyshen, do you have any results from you tests? It'd be good to make progress on this one.