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.


General fixes and clean up
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 14 Oct 2008 19:22:04 +0000 (14:22 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 14 Oct 2008 19:22:04 +0000 (14:22 -0500)
commitf2c976eb850d2633d2bc05011a66bbc91a432204
tree7bb3698081e9b81f9f1a834a36a4375a6304fc68
parent817bfdf21efed4b95ba68f53b81540cc3a11d14a
General fixes and clean up
palacios/build/Makefile
palacios/include/geekos/socket.h [deleted file]
palacios/src/devices/8259a.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_intr.c