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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: c2e660b)
moved bochs debug facilities to a virtual device
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 16 Oct 2008 22:29:48 +0000 (17:29 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 16 Oct 2008 22:29:48 +0000 (17:29 -0500)
commit1c46db5ec8d086d76f7120a638199564947694d3
tree1ba07cf63eddcb45840e2b29ddd48f4e6a3d17f0tree | snapshot
parentc2e660b41f69c603b0c47f7c7572a22a2f601a51commit | diff
moved bochs debug facilities to a virtual device
geekos/src/geekos/vm.c diff | blob | history
palacios/build/Makefile diff | blob | history
palacios/include/devices/bochs_debug.h [new file with mode: 0644] blob
palacios/src/devices/bochs_debug.c [new file with mode: 0644] blob
palacios/src/devices/serial.c diff | blob | history
palacios/src/palacios/vmm_config.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project