seL4 / sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

https://docs.sel4.systems/Tutorials

Tutorial VM S3 link down

diekmann opened this issue 8 years ago · comments

Cornelius Diekmann commented 8 years ago

In sel4-tutorials/README.md, the S3 link to the VirtualBox virtual machine appliance is down.

https://s3-us-west-1.amazonaws.com/sel4-developer-day/sel4-tutorial-lubuntu-15.04-v4.ova
NoSuchBucket

Ihor Kuz commented 8 years ago

We've removed that S3 file, so have removed the link from the README.