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/build
  12
  13 export PATH=$PATH:$LOCATION/bin
  14
  15 make world
  16
  17 This will build a vmm.img floppy image in geekos/build. You can also build a boot ISO image by running:
  18
  19 > make geekos-iso
  20
  21 Which will generate a test.iso image in $DEVROOT/build