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.


booting geekos up to the timer initialization
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 6 May 2008 20:39:04 +0000 (20:39 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 6 May 2008 20:39:04 +0000 (20:39 +0000)
commit1831ffe56d9eeb2bde9b5584227dcaf958dad70d
tree4baefd47c573f3d8f445abe4b79399ccc844b28e
parent624a05de781c51ed5d34a6db2583f884918a9594
booting geekos up to the timer initialization
palacios/build/depend.mak
palacios/build/payload_layout.txt
palacios/build/vm_kernel
palacios/src/devices/nvram.c
palacios/src/geekos/mem.c
palacios/src/geekos/vm.c
palacios/src/geekos/vmm_stubs.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_ctrl_regs.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_guest_mem.c