Hi Ruslan, There seems to be a race with the CMake configuration of the external libraries that we haven't been able to fix yet. If you run CMake again, i.e.: $ cmake . $ ninja Then it should pick up the external libpicotcp project and build it. Regards, Damon ________________________________ From: Devel <devel-bounces@sel4.systems> on behalf of Russel emkil.minor <emkil.minor@gmail.com> Sent: Saturday, 23 May 2020 7:52 PM To: devel@sel4.systems <devel@sel4.systems> Subject: [seL4] Building picoserver example Dear seL4 developers, I am trying to built picoserver example https://github.com/seL4/camkes/tree/master/apps/picoserver <https://github.com/seL4/camkes/tree/master/apps/picoserver> using the following commands: $ ../init-build.sh -DPLATFORM=x86_64 -DCAMKES_APP=picoserver $ ninja But I am getting the following error: fatal error: pico_stack.h: No such file or directory Looks like I need to install libpicotcp. I found it here https://github.com/seL4/util_libs/tree/master/libpicotcp <https://github.com/seL4/util_libs/tree/master/libpicotcp> but no idea how to build and link to the example. Can you give me a hint how to proceed? Best regards, Ruslan Rezin. _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel