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

dreamliner787-9 wants to merge 3 commits intoseL4:mainseL4/microkit:mainfrom

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