Peter Bolch

Hi, I was a little bit confused, too. I recommend reading -> [Networkboot Fundamentals](https://networkboot.org/fundamentals/) > Is there not the need to configure an iPXE server or target to boot from?...

Same here. See the sdcard,img filetree attached. I build it on gcc7 on debian. [files.txt](https://github.com/ipxe/pipxe/files/7633419/files.txt)

Hi, I just released [pipxe-builder](https://github.com/DieOrganisation/pipxe-builder) In this project I try to provide a docker container to setup a clean and controlled build environment for pipxe. With the provided Docker image...

I've found the follwing issue. In the Makefile https://github.com/ipxe/pipxe/blob/a93262af3661191a9ff19b61f773d109a7c33e8e/Makefile#L1 there is a url to load the firmware -> https://github.com/raspberrypi/firmware/branches/stable/boot If you browse this url, there is an http error 401...

Magic. :) Okay, just a guess. Any Idea on the build problem? Can you verify it? If I can provide Information or help somehow, just let me know.

The following works for me: 1) Build image from scratch with a tweak in /ipxe/src/config/branding.h (to check if it really works) 2) dd the prebuild sdcard.img to an sd card...

> > ``` > > 3. Replace the file /efi/boot/bootaa64.efi with the one of step 1) > > and et voilá it works, ipxe is running with the tweak >...