Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


tried to reduce compiler warnings, and cut down on debugging output
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 15 Oct 2008 21:58:50 +0000 (16:58 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 15 Oct 2008 21:58:50 +0000 (16:58 -0500)
commitcafbc1318c847b8c18e2036dc56be7af7acefa4e
treec89a5730f99566a650110ca7e5ec01fbfc088c3a
parent101b1bdfedbf377765d7c74641e9bcf356ebed18
tried to reduce compiler warnings, and cut down on debugging output
build/Makefile
palacios/build/Makefile
palacios/include/palacios/vmm_list.h
palacios/src/devices/serial.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_halt.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_emulator.c
palacios/src/palacios/vmm_hashtable.c
palacios/src/palacios/vmm_xed.c