CommentStreams:E49eb39029ab700b21d69c0b0bb60b87

Is there any documentation available for the GPIOs used by this board. Specifically, I would like to know the functions of the GPIOs related to power management. As far as I can tell, it's something along these lines:

GPIO17 [OUT, active high] - Set to indicated OS boot complete? GPIO27 [OUT, active high] - Request power off. GPIO4 [IN, active high] - Shutdown requested.

It seems like GPIO17 needs to be set for GPIO4 to have any function. GPIO27 seems to have different behaviour depending on whether the power button has been pushed.

Could someone clarify exactly how the power management GPIO interface is supposed to work? There are clearly power LED blink sequences involved as well that aren't document anywhere. A datasheet for the power management IC would be greatly appreciated.