Add downloads section for Microkit SDK

seL4 / docs

This is the source of the seL4 docs.

https://docs.sel4.systems

16 stars 52 forks source link

Closed Ivan-Velickovic closed 3 months ago

Ivan-Velickovic commented 3 months ago

Looks like this:

Screenshot from 2024-07-01 18 28 12

Didn't know if there was a better way of dealing with a custom field in the project YAML file.

Draft since these URLs don't exist yet.

lsf37 commented 3 months ago

I think this is ready now, but I’ll leave the merge to you @Ivan-Velickovic

Ivan-Velickovic commented 3 months ago

Sorry for all the force-pushing, messed up the commit history.

lsf37 commented 3 months ago

Sorry for all the force-pushing, messed up the commit history.

No worries, looking good.