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.


*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 10 Jun 2008 19:12:34 +0000 (19:12 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 10 Jun 2008 19:12:34 +0000 (19:12 +0000)
commita4b341afa075a6620dd087ee3a8ed850730c05c7
treec62d9882bbd1814bc9a9d4748d64ba9c4c193c5d
parent645c766b13d15fd70cd360e577eac1f62e07149f
*** empty log message ***
13 files changed:
palacios/include/palacios/vmm_emulate.h
palacios/src/devices/8254.c
palacios/src/devices/generic.c
palacios/src/devices/keyboard.c
palacios/src/geekos/keyboard.c
palacios/src/geekos/lowlevel.asm
palacios/src/geekos/timer.c
palacios/src/geekos/vm.c
palacios/src/geekos/vmm_stubs.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/vmm_ctrl_regs.c