search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
68 stars 37 forks source link

Please add versioned releases of the sdk #116

Open wucke13 opened 2 months ago

wucke13 commented 2 months ago

Currently, https://trustworthy.systems/projects/microkit/tutorial/part0.html just recommends to download curl -L trustworthy.systems/Downloads/microkit_tutorial/sdk-linux-x64.tar.gz -o sdk.tar.gz. I would much prefer if the sdk would be versioned, with a list of all previous versions as well:

Of course it lends itself to have a latest version, and refer to that in the tutorial.

Ivan-Velickovic commented 2 months ago

Yes, will do once we have a proper released version which should happen in the near future.