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.


typedef name changes
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 23 Apr 2009 03:37:01 +0000 (22:37 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 23 Apr 2009 03:37:01 +0000 (22:37 -0500)
commit57de08049d9a345445d26741c5ee0f7f9e5c2fcc
treef2681fbf7618ba9835b8d9b8baf177cf2c90ed30
parenta70930549d1b741704dd7af4e6bb0e89f6f8a519
typedef name changes
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_types.h
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_direct_paging.c
palacios/src/palacios/vmm_mem.c