tool: create IPC buffer in the tool, not the ELF#532

midnightveil wants to merge 2 commits into

seL4:mainseL4/microkit:mainfrom

au-ts:julia/ipc-buffer-patchedau-ts/microkit:julia/ipc-buffer-patchedCopy head branch name to clipboard