Rename xen32 to ia32xen.
[helenos.git] / boot / arch / ia32xen / grub / menu.debug.lst
blob457543c8a3d91c6da50b270dbe7beaa0f98b9aa1
1 default 0
2 timeout 10
4 title=HelenOS/ia32xen
5 root (cd)
6 kernel /boot/xen.gz noreboot console=com1,vga com1=auto,8n1,0x3f8
7 module /boot/kernel.bin
8 module /boot/ns
9 module /boot/init
10 module /boot/pci
11 module /boot/fb
12 module /boot/kbd
13 module /boot/console
14 module /boot/tetris
15 module /boot/ipcc
16 module /boot/klog