Hardware debug config support#320

Kswin01 wants to merge 2 commits intoseL4:mainseL4/rust-sel4:mainfrom

au-ts:hardware_debugau-ts/rust-sel4:hardware_debugCopy head branch name to clipboard