Update VM to provide something with 20.4 at least
axel-h opened this issue · comments
https://github.com/seL4/sel4-tutorials/blob/master/README.md points to a Ubuntu 16.4 VM at https://trustworthy.systems/Downloads/sel4_tut_v3_lubuntu_16_041-v2.ova
This should be updated to Ubuntu 20.4 to avoid running into more and more issues