Raspberry Pi engineer [Luke Wren] puts the blame on an external IP block vendor. With hindsight perhaps running some GPIO validation tests involving pull-up and pull-down configurations with and ...

List of files including board-specific Device Tree Binaries (DTBs) for a Raspberry Pi ... GPIO high or low on poweroff (including halt). Using this overlay interferes with the normal power-down ...

Consultancy has designed a simple board called the Pico Indicator to add LEDs to the GPIO and power pins of the Raspberry Pi ...