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.


almost done with the namespace protection via -D__V3VEE__ header wrappers
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 26 Sep 2008 21:04:10 +0000 (16:04 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 26 Sep 2008 21:04:10 +0000 (16:04 -0500)
commitf4b074d9bf5c28dfd6e5fd616805ade2e9473b01
tree820f4dad69a2487d6c4323d1e29846983e23ec7b
parent091d8b1fcfc3a766f6603d4c1c69d9f8f4bf3031
almost done with the namespace protection via -D__V3VEE__ header wrappers
15 files changed:
palacios/include/palacios/svm.h
palacios/include/palacios/vm_dev.h
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vm_guest_mem.h
palacios/include/palacios/vmcs.h
palacios/include/palacios/vmcs_gen.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_config.h
palacios/include/palacios/vmm_ctrl_regs.h
palacios/include/palacios/vmm_debug.h
palacios/include/palacios/vmm_list.h
palacios/include/palacios/vmm_paging.h
palacios/include/palacios/vmm_time.h
palacios/include/palacios/vmm_types.h
palacios/include/palacios/vmx.h