Description
Could you clarify which devices can be powered on or off?
It looks like only the bits for the SD card and USB host have any effect. USB is currently left powered on all the time, so is there any significant benefit to powering down the SD card? Can USB be powered down with devices attached or will they be reset when this happens? (Linux can can handle determining when it is safe to do this.)
There appears to be no way to query for what is currently powered on so I can't see this integrating well with the kernel's power management unless everything is turned off at boot, otherwise as soon as one of either the SD or USB host devices is registered it's going to turn that on and turn everything else off.
I'm able to send any of bits 0..27 set to 1 to the power mailbox channel and it'll respond with the list of powered devices. Sending all bits 0 results in no response. Is there anything else I've missed available in its API? Is everything off at boot? It has just loaded everything from the SD card so that may still be powered on.