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.


moved further along in the boot process....
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Jul 2008 00:12:44 +0000 (00:12 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Jul 2008 00:12:44 +0000 (00:12 +0000)
commit684409c4ad29c0f06167bebf2bb51e21374a6840
tree530b790cfbb2ee9bbe4de21a7077f1d9e8ced505
parent60656758d616b276a4a9a17efda49981c57cbeef
moved further along in the boot process....
Bombing due to unhandled large page, and gruesome hack to vm_guest_mem.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_intr.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_shadow_paging.c