Add bootinfo tag#536

terryzbai wants to merge 8 commits into

seL4:mainseL4/microkit:mainfrom

au-ts:add-bootinfo-tagau-ts/microkit:add-bootinfo-tagCopy head branch name to clipboard