Hi, due to a self designed board for the pi I need to change the default pin configuration during boot / startup. I need to drive some outputs to high directly after powering the pi. I decided to use a user provided device tree blob file as it is described here: https://www.raspberrypi.org/documenta...