microkit icon indicating copy to clipboard operation
microkit copied to clipboard
verified publisher icon seL4

Please add versioned releases of the sdk

Open wucke13 opened this issue 1 year ago • 1 comments

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:

  • trustworthy.systems/Downloads/microkit_tutorial/sdk-linux-x64-0.1.0.tar.gz
  • trustworthy.systems/Downloads/microkit_tutorial/sdk-linux-x64-latest.tar.gz

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

wucke13 avatar Apr 18 '24 13:04 wucke13

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

Ivan-Velickovic avatar Apr 18 '24 23:04 Ivan-Velickovic

We now have an official release we can point to here, https://github.com/seL4/microkit/releases/tag/1.3.0.

The tutorial will be updated shortly, you can track that in this issue https://github.com/au-ts/microkit_tutorial/issues/8.

Ivan-Velickovic avatar Jul 02 '24 01:07 Ivan-Velickovic