[seL4] Builds

Hi,

Am in the process of learning seL4 and have managed to get, build and run the tutorials, which is great.

Now looking at creating an application and I have a question about seL4 builds.

The documentation here... https://docs.sel4.systems/projects/buildsystem/incorporating.html refers to a build setup that AFAICT is different to the reference application, which I think is here... https://github.com/seL4proj/sel4webserver

Which is the best approach to follow?

Best, Matt