You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
January Commit to camkes-vm-linux breaks camkes-vm-crossvm Tutorial #49
This commit appears to remove the libraries necessary to complete the crossvm tutorial: seL4/camkes-vm-linux@bab3e9c.
Doing a git hard reset also does not solve the problem as camkes_mutex.h and a few others are also missing. Is there an updated tutorial somewhere since the point of this commit appears to depreciate the old crossvm connector modules?
I just noticed under SEL4PROJ/camkes-arm-vm there is an example app for vm_cross_connector (for anyone with the same question it is here: https://github.com/SEL4PROJ/camkes-arm-vm) so I will use that as an exemplar. Therefore please disregard the second part of the issue.
complains about the missing camkes-connector-apps/libs/camkes removed in the commit you mentioned.
It would probably be best to update the tutorial, though I lack the requisite knowledge to do that (which is why I'm doing the tutorial now). For now it seems sufficient to work through the examples on seL4/camkes-vm-examples instead.
Activity
jimshift5 commentedon Sep 16, 2020
I just noticed under SEL4PROJ/camkes-arm-vm there is an example app for vm_cross_connector (for anyone with the same question it is here: https://github.com/SEL4PROJ/camkes-arm-vm) so I will use that as an exemplar. Therefore please disregard the second part of the issue.
chuahou commentedon Jul 22, 2021
I think this issue should remain open since it is still a problem. Currently, following instructions on https://docs.sel4.systems/Tutorials/camkes-vm-crossvm.html still has this problem. Running, for example,
complains about the missing
camkes-connector-apps/libs/camkesremoved in the commit you mentioned.It would probably be best to update the tutorial, though I lack the requisite knowledge to do that (which is why I'm doing the tutorial now). For now it seems sufficient to work through the examples on seL4/camkes-vm-examples instead.
lsf37 commentedon Jul 22, 2021
You're right, if the tutorial as described is broken, this should definitely remain open.
jasonleecode commentedon Sep 8, 2021
this issue exist and not fixed so far.