[Tutorial] Should the tutorial of seL4 be updated?
10 Aug
2021
10 Aug
'21
12:02 p.m.
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?
1228
Age (days ago)
1228
Last active (days ago)
0 comments
1 participants
participants (1)
-
Zheng Wenxin