Révision 9

trunk/dom0/etc/default/grub (revision 9)
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
  
    
# Try to limit the dom0 memory to 1 Gb


  		





  
  9
  
    
GRUB_CMDLINE_LINUX="dummy=dummy dom0_mem=1024M"


  		





  
  10
  
    

  		





  
  11
  
    
# Uncomment to enable BadRAM filtering, modify to suit your needs


  		





  
  12
  
    
# This works with Linux (no patch required) and with any kernel that obtains


  		





  
  13
  
    
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)


  		





  
  14
  
    
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"


  		





  
  15
  
    

  		





  
  16
  
    
# Uncomment to disable graphical terminal (grub-pc only)


  		





  
  17
  
    
#GRUB_TERMINAL=console


  		





  
  18
  
    

  		





  
  19
  
    
# The resolution used on graphical terminal


  		





  
  20
  
    
# note that you can use only modes which your graphic card supports via VBE


  		





  
  21
  
    
# you can see them in real GRUB with the command `vbeinfo'


  		





  
  22
  
    
#GRUB_GFXMODE=640x480


  		





  
  23
  
    

  		





  
  24
  
    
# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux


  		





  
  25
  
    
#GRUB_DISABLE_LINUX_UUID=true


  		





  
  26
  
    

  		





  
  27
  
    
# Uncomment to disable generation of recovery mode menu entries


  		





  
  28
  
    
#GRUB_DISABLE_LINUX_RECOVERY="true"


  		





  
  29
  
    

  		





  
  30
  
    
# Uncomment to get a beep at grub start


  		





  
  31
  
    
#GRUB_INIT_TUNE="480 440 1"


  		












Formats disponibles :
  Unified diff