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.


added new debugging directives
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 21 Jul 2008 22:54:44 +0000 (22:54 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 21 Jul 2008 22:54:44 +0000 (22:54 +0000)
commit9dd0a80f28ca47a1fb69992dcd96e7526bf5175c
tree07fd545883317d55c2fd1435db3ad67c02a71c97
parentcbf35ad72de3a7a1f6eee3e8b2b35d7f31df22a5
added new debugging directives
palacios/build/Makefile
palacios/include/palacios/vmm_decoder.h
palacios/src/devices/8254.c
palacios/src/devices/8259a.c
palacios/src/devices/keyboard.c
palacios/src/devices/nvram.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_io.c