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.


a guest kernel that works equally well on the dell+HP
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 30 Apr 2008 00:23:29 +0000 (00:23 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 30 Apr 2008 00:23:29 +0000 (00:23 +0000)
commit09149700a57ced21de742451c9302320ca4eebc2
treef81171a98bdadeece6033e99d5fb8b22eff01ce8
parent1cc11b811dd67e1023f9a4584853f516b7a61a41
a guest kernel that works equally well on the dell+HP
palacios/build/depend.mak
palacios/build/payload_layout.txt
palacios/build/vm_kernel
palacios/include/palacios/vmcb.h
palacios/src/geekos/mem.c
palacios/src/geekos/vm.c
palacios/src/geekos/vmm_stubs.c
palacios/src/palacios/svm_ctrl_regs.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_guest_mem.c