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.


Succesful transition to vmxassist, then to the bios, where it dies in keyboard init.
authorAndy Gocke <agocke@gmail.com>
Thu, 13 Aug 2009 22:45:23 +0000 (17:45 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 13 Aug 2009 22:45:23 +0000 (17:45 -0500)
commitcbe9bc8587261deb3aaee94a100594d88bc9765f
tree353523f30baab0432b0d97df599c9d8df0f47a83
parent82b8b87c344fcd1eab22e3f3be5ad54cbb3f8f68
Succesful transition to vmxassist, then to the bios, where it dies in keyboard init.
bios/vmxassist/setup.c
bios/vmxassist/vmxassist.bin
palacios/include/palacios/vmcs.h
palacios/include/palacios/vmx.h
palacios/include/palacios/vmx_handler.h
palacios/src/devices/8259a.c
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_handler.c
palacios/src/palacios/vmx_io.c
palacios/src/palacios/vmx_lowlevel.S