Skip to content

Update VM to provide something with 20.4 at least #90

New issue
New issue
Closed
#130
Closed
Update VM to provide something with 20.4 at least#90
#130

Description

@axel-h
axel-h
opened on Mar 21, 2022

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

Activity

  1. lsf37
    linked a pull request that will close this issueremove VM appliance #130on Jul 5, 2026
  2. Indanz
    closed this as completedin #130on Jul 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions