Add support for prefilling memory regions from data files at compile time#434

Ivan-Velickovic merged 8 commits intoseL4:mainseL4/microkit:mainfrom

au-ts:issue_248au-ts/microkit:issue_248Copy head branch name to clipboard