Ivan Velickovic 292b6b7a1a Add ability to specify version of SDK ... This will be used by CI for builds on each commit of Microkit, which will be useful for getting prebuillt SDKs between official releases. Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>		2024-08-20 15:24:55 +10:00
..
dev_version.sh	Add ability to specify version of SDK	2024-08-20 15:24:55 +10:00