You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since @privatereese is currently working on integrating a DHCP service into the Vagrant VMs, why not explain in this part of the documentation the boot flow we have for the real boards:
Build Fiasco.OC/Genode OS in Vagrant
Provide *.elf or *.img via TFTP
Boot platforms via U-Boot
Receive ip address, tftp server ip address, tftp image via DHCP
Boot the OS on the platforms
The text was updated successfully, but these errors were encountered:
The PXE documentation in its current state isn't very helpful.
Since @privatereese is currently working on integrating a DHCP service into the Vagrant VMs, why not explain in this part of the documentation the boot flow we have for the real boards:
The text was updated successfully, but these errors were encountered: