[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.