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.


*** empty log message ***
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 26 Mar 2008 01:29:10 +0000 (01:29 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 26 Mar 2008 01:29:10 +0000 (01:29 +0000)
commit271ad3fd89672d441db3c5ffa673ee649e4ce532
treef2595706e2483d03e0952ae9e141cdf45bd27d36
parent122a7d532b4bb6914ff291d53f6111f1e52613b7
*** empty log message ***
palacios/include/geekos/vm_guest.h
palacios/include/geekos/vmm.h
palacios/include/geekos/vmm_mem.h
palacios/include/geekos/vmm_paging.h
palacios/include/geekos/vmm_stubs.h
palacios/include/geekos/vmm_util.h
palacios/src/geekos/main.c
palacios/src/geekos/screen.c
palacios/src/geekos/svm.c
palacios/src/geekos/vmm_mem.c
palacios/src/geekos/vmm_paging.c