Splits x86 into 32 and 64 bit (XCC)
[akaros.git] / scripts / pxeboot / akaros-pxecfg.bak
1 # skipping the menu stuff for now, just type the label name at the boot prompt
2 # DEFAULT akaros/menu.c32
3 DEFAULT akaros
4
5 #
6 # Uncomment next line to send pxelinux boot prompt over serial port 0.
7 # NOTE: Be sure your serial port speed is appropriate (57600, 9600, etc.)
8 #
9 # SERIAL 0 57600
10 DISPLAY akaros/message.txt
11 PROMPT 10
12 TIMEOUT 50
13 MENU TITLE Choose Wisely (Akaros is default)
14
15 # Add the following to the append line above to use your first serial port
16 # (ttyS0) as a console in addition to your monitor (tty0).  NOTE: Be sure
17 # your serial port speed is appropriate (57600, 9600, etc.)
18 #
19 # console=ttyS0,57600
20
21 # Add the following to the append line above to increase the size of your tmpfs
22 # filesystem.  About 100MB larger than your image size should suffice.
23 #
24 # Other tmpfs mount options are also supported.  See the FAQ for details.
25 # tmpfs_size=800M
26
27 LABEL akaros
28         MENU LABEL Akaros
29         MENU DEFAULT
30         KERNEL akaros/mboot.c32
31         APPEND akaros/akaros-kernel.gz
32
33 # this might take a while to come up, and the KVM might be unresponsive.  try
34 # ping/ssh
35 LABEL linux
36         MENU LABEL Linux
37         KERNEL vmlinuz-3.2.0-36-generic pci=conf1
38         APPEND pci=conf1 initrd=amp_precise_3.2.0-36-generic.cgz
39         # KERNEL vmlinuz-3.2.0-37-generic
40         # APPEND initrd=amp-genomics-osd_precise_3.2.0-37-generic.cgz
41
42 # this doesn't seem to work
43 LABEL local
44         MENU LABEL Boot from local disk
45         LOCALBOOT 0x80
46