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 devices, device manager, and nvram device
authorPeter Dinda <pdinda@northwestern.edu>
Sat, 12 Apr 2008 01:11:28 +0000 (01:11 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 12 Apr 2008 01:11:28 +0000 (01:11 +0000)
commit7841dc573457c334a0f3b6e9186d26b1776c400f
treebe4c0ba4cfb843e598dca868215e88d419362380
parenta27a60b911afe29329cf93b23e274e0ef182093e
Added devices, device manager, and nvram device
palacios/build/Makefile
palacios/build/depend.mak
palacios/include/devices/nvram.h [new file with mode: 0644]
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_dev.h
palacios/include/palacios/vmm_dev_mgr.h [new file with mode: 0644]
palacios/include/palacios/vmm_device_types.h [new file with mode: 0644]
palacios/src/devices/nvram.c [new file with mode: 0644]
palacios/src/geekos/main.c
palacios/src/palacios/vmm_dev.c [new file with mode: 0644]
palacios/src/palacios/vmm_dev_mgr.c [new file with mode: 0644]