tool(cleanup): use names not IDs for PDs - #590

tool(cleanup): use names not IDs for PDs#590

midnightveil merged 3 commits into

seL4:mainseL4/microkit:mainfrom

au-ts:julia/use-names-not-idau-ts/microkit:julia/use-names-not-idCopy head branch name to clipboard