IPXE

From coreboot
Revision as of 16:15, 7 October 2012 by GNUtoo (talk | contribs) (→‎Booting)
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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