tool: separate tree parsing and xml parsing - #588

tool: separate tree parsing and xml parsing#588

midnightveil merged 1 commit into

seL4:mainseL4/microkit:mainfrom

sfulham:mainsfulham/microkit-dev:mainCopy head branch name to clipboard