jimshift5

This commit appears to remove the libraries necessary to complete the crossvm tutorial: https://github.com/SEL4PROJ/camkes-vm-linux/commit/bab3e9c2b52ff942b6eead71e33ad781b429a646. Doing a git hard reset also does not solve the problem as camkes_mutex.h and a few...