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.


added full device support
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 14 Apr 2008 06:12:24 +0000 (06:12 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 14 Apr 2008 06:12:24 +0000 (06:12 +0000)
commit570ad6257ed18fbbc840c17a600f12f2dc44b010
tree8d4cce53b89af79c678625057c6baadb2010f3ba
parent33bc3aea893607276b82cc2f1237f88a9e435dc1
added full device support
17 files changed:
palacios/build/Makefile
palacios/build/depend.mak
palacios/include/devices/nvram.h
palacios/include/palacios/vm_dev.h [new file with mode: 0644]
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_dev_mgr.h
palacios/include/palacios/vmm_io.h
palacios/include/palacios/vmm_list.h [new file with mode: 0644]
palacios/scripts/make_payload.pl [new file with mode: 0755]
palacios/src/devices/README [new file with mode: 0644]
palacios/src/devices/nvram.c
palacios/src/geekos/vm.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_dev.c [new file with mode: 0644]
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_io.c