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
Here are the goals of this howto:
- fits in 128k for easier building process
- boot over an ath9k WiFi over an open/unencrypted wifi to an image that resides on the internet...
Building
Identify your wireless network card:
# lspci [...] 03:06.0 Network controller: Atheros Communications Inc. AR922X Wireless Network Adapter (rev 01)
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