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.


BIOS now runs, but dies because it has no devices....
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 9 Apr 2008 20:18:17 +0000 (20:18 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 9 Apr 2008 20:18:17 +0000 (20:18 +0000)
commit40be15894eccfbb51e42bcfe550aaf8d9841bc3a
tree836557f051033aff770dfee22a4f3e41880fb84b
parent75e6876db8e9c8114606e229c2818ca574245182
BIOS now runs, but dies because it has no devices....
13 files changed:
palacios/build/payload_layout.txt [new file with mode: 0644]
palacios/build/rombios [new file with mode: 0644]
palacios/build/vgabios [new file with mode: 0644]
palacios/build/vm_kernel
palacios/include/geekos/vm.h
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_mem.h
palacios/src/geekos/vm.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmm_paging.c