Hi Matt,
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
The build setup of the reference webserver application is the same as the "kernel
directory" setup in the documentation.
It looks a little different as the reference application is just one component of the
entire reference system.
If you scroll down a little in the webserver GitHub link, the repo init and repo sync
commands pulls the required components of the webserver reference system and organises the
components into a directory structure that's similar to the one listed in the
"kernel directory" setup in the documentation. The contents of the sel4webserver
repository can then be found in the 'projects/webserver' directory after the
repo sync command.
Regards,
Damon