root / trunk / dom0 / etc / default / grub @ 12
Historique | Voir | Annoter | Télécharger (1,13 ko)
| 1 |
# If you change this file, run 'update-grub' afterwards to update |
|---|---|
| 2 |
# /boot/grub/grub.cfg. |
| 3 |
|
| 4 |
GRUB_DEFAULT=4 |
| 5 |
GRUB_TIMEOUT=5 |
| 6 |
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` |
| 7 |
GRUB_CMDLINE_LINUX_DEFAULT="quiet" |
| 8 |
GRUB_CMDLINE_LINUX="" |
| 9 |
# Try to limit the dom0 memory to 1 Gb. |
| 10 |
GRUB_CMDLINE_XEN_DEFAULT="dom0_mem=1024M" |
| 11 |
|
| 12 |
# Uncomment to enable BadRAM filtering, modify to suit your needs |
| 13 |
# This works with Linux (no patch required) and with any kernel that obtains |
| 14 |
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...) |
| 15 |
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef" |
| 16 |
|
| 17 |
# Uncomment to disable graphical terminal (grub-pc only) |
| 18 |
#GRUB_TERMINAL=console |
| 19 |
|
| 20 |
# The resolution used on graphical terminal |
| 21 |
# note that you can use only modes which your graphic card supports via VBE |
| 22 |
# you can see them in real GRUB with the command `vbeinfo' |
| 23 |
#GRUB_GFXMODE=640x480 |
| 24 |
|
| 25 |
# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux |
| 26 |
#GRUB_DISABLE_LINUX_UUID=true |
| 27 |
|
| 28 |
# Uncomment to disable generation of recovery mode menu entries |
| 29 |
#GRUB_DISABLE_LINUX_RECOVERY="true" |
| 30 |
|
| 31 |
# Uncomment to get a beep at grub start |
| 32 |
#GRUB_INIT_TUNE="480 440 1" |