IPXE
The wiki is being retired!
Documentation is now handled by the same processes we use for code: Add something to the Documentation/ directory in the coreboot repo, and it will be rendered to https://doc.coreboot.org/. Contributions welcome!
iPXE is a tool for loading an operating system over a network. It is a fork of GPXE.
Like GPXE uses legacy BIOS callbacks, and it works well with SeaBIOS. See GPXE.
Building and Running in seaBIOS howto
Building
Booting
- keep pressing ctrl+b while booting
- it will give you a shell:
iPXE> _
- You will then need to type some commands to make it boot on the WiFi from the Internet.
- Identify your ESSID
iwlist
- set the ESSID
config
- get an IP Address
dhcp
- test the official demo (requires a ps2 keyboard)
chain http://boot.ipxe.org/demo/boot.php