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 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
