IPXE

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)

Identify its PCI IDs:

# lspci -s 03:06.0 -nnn
03:06.0 Network controller [0280]: Atheros Communications Inc. AR922X Wireless Network Adapter [168c:0029] (rev 01)

get ipxe:

git clone git://git.ipxe.org/ipxe.git
cd ipxe/src/

Copy the following into

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