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.


removed references to GeekOS and added some namespace changes,
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 26 Sep 2008 19:56:14 +0000 (14:56 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 26 Sep 2008 19:56:14 +0000 (14:56 -0500)
commit091d8b1fcfc3a766f6603d4c1c69d9f8f4bf3031
treed80998c6adccd56f8b6c3653b61c0dc6cb4ca22d
parent86d4afa4bb4bb68cb4a65d562c0bdcbdb71c201a
removed references to GeekOS and added some namespace changes,
waiting to move debug functions from geekos to a virtual device
palacios/include/palacios/vmm_io.h
palacios/include/palacios/vmm_types.h
palacios/src/devices/generic.c
palacios/src/devices/keyboard.c
palacios/src/geekos/vm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_io.c