[seL4] [Tutorial] Should the tutorial of seL4 be updated?

It seems that the tutorial "CAmkES VM: Cross VM Connectors" has something missing.

The part "Add modules to the guest" says that "There is a library in projects/camkes/vm-linux/camkes-linux-artifacts/camkes-linux-apps/camkes-connector-apps/libs containing Linux system call wrappers ...". But no folder named camkes/vm-linux and in camkes-vm-linux/camkes-linux-artifacts/camkes-linux-apps/camkes-connector-apps, no folder named libs.

Is the tutorial should be updated?