tool: a VM on x86-64 cannot have scheduling params#552

midnightveil merged 4 commits into

seL4:mainseL4/microkit:mainfrom

au-ts:manual_updateau-ts/microkit:manual_updateCopy head branch name to clipboard