SETUP.LINUX

   1 You can set up the development tools on Linux by running ./SETUP_DEV_ENV.pl.
   2
   3 If you do not already have bcc and related tools installed, you
   4 need to uncomment the parts of ./SETUP_DEV_ENV.pl that will build them.
   5
   6 Now test:
   7
   8 export DEVROOT=/path/to/your/vmm-dev
   9 export LOCATION=$DEVROOT/devtools
  10
  11 cd $DEVROOT/vmm-hack1/build
  12
  13 export PATH=$PATH:$LOCATION/bin
  14
  15 ln -s ../src/vmboot/rombios/BIOS-bochs-latest rombios
  16 ln -s ../src/vmboot/vgabios/VGABIOS-lgpl-latest.bin vgabios
  17
  18 make world
  19
  20 This should succeed, leaving you with a vmm.img file.