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.


Modified boot and vmxassist to handle real/protected transition.
authorAndy Gocke <agocke@gmail.com>
Fri, 21 Aug 2009 20:25:41 +0000 (15:25 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 21 Aug 2009 20:25:41 +0000 (15:25 -0500)
commit61597ea2c5ccace036d8a65e429e32b8f8a7ed4a
tree42d843369a6911a736a255b5184b0fa26fe7ee7b
parentf3eb8bbb7c58c98b03797f2188e6c1d2a7610c15
Modified boot and vmxassist to handle real/protected transition.
29 files changed:
bios/vmxassist/Makefile
bios/vmxassist/e820.h
bios/vmxassist/head.S
bios/vmxassist/machine.h
bios/vmxassist/setup.c
bios/vmxassist/trap.S
bios/vmxassist/util.c
bios/vmxassist/util.h
bios/vmxassist/vm86.c
bios/vmxassist/vm86.h
bios/vmxassist/vmx_assist.h
bios/vmxassist/vmxassist.bin
palacios/include/palacios/vmx.h
palacios/include/palacios/vmx_assist.h [new file with mode: 0644]
palacios/include/palacios/vmx_ctrl_regs.h [new file with mode: 0644]
palacios/include/palacios/vmx_handler.h
palacios/include/palacios/vmx_io.h
palacios/include/palacios/vmx_lowlevel.h
palacios/include/palacios/vmx_msr.h
palacios/src/devices/ide.c
palacios/src/devices/ram_cd.c
palacios/src/devices/ram_hd.c
palacios/src/palacios/Makefile
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_assist.c [new file with mode: 0644]
palacios/src/palacios/vmx_ctrl_regs.c [new file with mode: 0644]
palacios/src/palacios/vmx_handler.c
palacios/src/palacios/vmx_io.c
palacios/src/palacios/vmx_msr.c