[draft] try with speed opts branch#516

midnightveil wants to merge 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:julia/compile-time-optimisationau-ts/microkit:julia/compile-time-optimisationCopy head branch name to clipboard