HAL-backed adapters for the capability traits: HalBootControl drives BootControl over a ResetControl line, GpioBootMonitor reads BootMonitor off a GpioPort. Kept separate so contracts never pull in the HAL.
HalBootControl
BootControl
ResetControl
GpioBootMonitor
BootMonitor
GpioPort