| # skipping the menu stuff for now, just type the label name at the boot prompt |
| # DEFAULT akaros/menu.c32 |
| DEFAULT akaros |
| |
| # |
| # Uncomment next line to send pxelinux boot prompt over serial port 0. |
| # NOTE: Be sure your serial port speed is appropriate (57600, 9600, etc.) |
| # |
| # SERIAL 0 57600 |
| DISPLAY akaros/message.txt |
| PROMPT 10 |
| TIMEOUT 50 |
| MENU TITLE Choose Wisely (Akaros is default) |
| |
| # Add the following to the append line above to use your first serial port |
| # (ttyS0) as a console in addition to your monitor (tty0). NOTE: Be sure |
| # your serial port speed is appropriate (57600, 9600, etc.) |
| # |
| # console=ttyS0,57600 |
| |
| # Add the following to the append line above to increase the size of your tmpfs |
| # filesystem. About 100MB larger than your image size should suffice. |
| # |
| # Other tmpfs mount options are also supported. See the FAQ for details. |
| # tmpfs_size=800M |
| |
| LABEL akaros |
| MENU LABEL Akaros |
| MENU DEFAULT |
| KERNEL akaros/mboot.c32 |
| APPEND akaros/akaros-kernel.gz |
| |
| # this might take a while to come up, and the KVM might be unresponsive. try |
| # ping/ssh |
| LABEL linux |
| MENU LABEL Linux |
| KERNEL vmlinuz-3.2.0-36-generic pci=conf1 |
| APPEND pci=conf1 initrd=amp_precise_3.2.0-36-generic.cgz |
| # KERNEL vmlinuz-3.2.0-37-generic |
| # APPEND initrd=amp-genomics-osd_precise_3.2.0-37-generic.cgz |
| |
| # this doesn't seem to work |
| LABEL local |
| MENU LABEL Boot from local disk |
| LOCALBOOT 0x80 |
| |
