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 memory ranges
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 3 Mar 2008 17:36:14 +0000 (17:36 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 3 Mar 2008 17:36:14 +0000 (17:36 +0000)
commit701de97007c8b6776998eeab78469a4304f6b871
treefa011d75511a3f4557abd99e22fb4bb0f840df87
parentb4963a8a43ca9103946f926e062e609e4498c2e2
Added memory ranges
12 files changed:
palacios/build/Makefile
palacios/include/geekos/svm.h
palacios/include/geekos/vmm.h
palacios/include/geekos/vmm_mem.h
palacios/include/geekos/vmm_stubs.h
palacios/include/geekos/vmm_util.h
palacios/src/geekos/main.c
palacios/src/geekos/svm.c
palacios/src/geekos/svm_lowlevel.asm
palacios/src/geekos/vmm.c
palacios/src/geekos/vmm_mem.c
palacios/src/geekos/vmm_stubs.c