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.


moving along...
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 3 Apr 2008 07:15:47 +0000 (07:15 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 3 Apr 2008 07:15:47 +0000 (07:15 +0000)
commitb85f79b8030114370851ed3422c078debe630570
tree401dd7f4259bd112f1ecc070fbfe3dbe0a354c6a
parent89d5928385ff776aaaf9c0957734a611c9f9880c
moving along...
more complicated guest kernel that jumps to protected mode and then executes an out instruction....
palacios/build/vm_kernel
palacios/include/geekos/svm_ctrl_regs.h
palacios/include/geekos/vmm_emulate.h
palacios/src/geekos/main.c
palacios/src/geekos/svm_ctrl_regs.c