Post #1275620

@cr1901 On the Pi, using the dtoverlay mechanism you can configure the pins however you want. In my case I‘m using the gpio-shutdown overlay, which turns a GPIO on as long as the kernel is running and then turns it off after shutdown/halt (so you can cut power)