tool: migrate to new environment info gathering#488

zaklogician wants to merge 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:viper/sdkinfoau-ts/microkit:viper/sdkinfoCopy head branch name to clipboard