sel4-capdl-initializer: lazy SC rebind for passive#352

dreamliner787-9 wants to merge 2 commits into

seL4:mainseL4/rust-sel4:mainfrom

au-ts:passive_task_in_initialiserau-ts/rust-sel4:passive_task_in_initialiserCopy head branch name to clipboard