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.


split the vmm from the internal geekos
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 28 Feb 2008 00:22:31 +0000 (00:22 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 28 Feb 2008 00:22:31 +0000 (00:22 +0000)
commit01e2bfdc462dbbe8d62b71c7e99e198c27844f0f
treede9a5d90b7c8861984d7ee00865966520f809f23
parent72a450936e2da159d5febe1e96475493badd9070
split the vmm from the internal geekos
27 files changed:
palacios/include/geekos/screen.h
palacios/include/geekos/serial.h
palacios/include/geekos/svm.h
palacios/include/geekos/vmcs.h
palacios/include/geekos/vmcs_gen.h
palacios/include/geekos/vmm.h
palacios/include/geekos/vmm_sizes.h
palacios/include/geekos/vmm_util.h [new file with mode: 0644]
palacios/scripts/generate_vmcs_serialization.pl
palacios/src/geekos/crc32.c
palacios/src/geekos/idt.c
palacios/src/geekos/int.c
palacios/src/geekos/kthread.c
palacios/src/geekos/main.c
palacios/src/geekos/mem.c
palacios/src/geekos/paging.c
palacios/src/geekos/screen.c
palacios/src/geekos/serial.c
palacios/src/geekos/svm.c
palacios/src/geekos/timer.c
palacios/src/geekos/trap.c
palacios/src/geekos/tss.c
palacios/src/geekos/vmcs.c
palacios/src/geekos/vmcs_gen.c
palacios/src/geekos/vmm.c
palacios/src/geekos/vmm_util.c [new file with mode: 0644]
palacios/src/geekos/vmx.c