Révision 12

trunk/dom0/etc/default/grub (revision 12)
5 5 
GRUB_TIMEOUT=5
6 6 
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
7 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"
8 
GRUB_CMDLINE_LINUX=""
9 
# Try to limit the dom0 memory to 1 Gb.
10 
GRUB_CMDLINE_XEN_DEFAULT="dom0_mem=1024M"
10 11 

  		





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


  		





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


  		












Formats disponibles :
  Unified diff