I was having a lot of trouble getting one GPIO pin to stay high on boot and on rebooting. After a lot of digging I found a good solution. Hopefully this will help someone. You can of course edit the config to make the pin low on boot, and set other options as well. Create an overlay file: nano mygpi...