# JLdL 02Oct04.

# The default boot line (may include boot parameters).
DEFAULT linux

# Display a short banner file.
DISPLAY pxelinux-banner

# A more complete banner file.
F0 pxelinux-banner.f0

# Help files for the [F1]-[F9] keys.
F1 pxelinux-help.f1
F9 pxelinux.cfg/AC108128.f9

# Auto-boot the default in 10 minutes.
TIMEOUT 6000

# Always show the boot prompt.
PROMPT 1

# First boot alternative: Linux.
LABEL linux
  # The kernel file.
  KERNEL vmlinuz-00
  # The boot parameters.
  APPEND root=/dev/nfs nfsroot=/trm/00,rw,nolock
  # Auto-build the ip=<string> boot parameter.
  IPAPPEND 1

# Second boot alternative: Memtest86.
LABEL memtest
  # The kernel file.
  KERNEL memtest86

# Third boot alternative: local boot.
LABEL local
  # This returns control to the BIOS.
  LOCALBOOT 0

