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.


Add load-time configurable memory block size
authorPeter Dinda <pdinda@northwestern.edu>
Sun, 4 Aug 2013 22:31:02 +0000 (17:31 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 4 Aug 2013 22:31:20 +0000 (17:31 -0500)
commitc17cafcb6db943bd5bbb31d86f0392c113b2d668
tree33a1865440e17fdfd925c56a4c924ec4150743c3
parent6b964ba81db60030c37b66da2c2b4a38f4ef8d96
Add load-time configurable memory block size
Kconfig
palacios/include/palacios/vmm_mem.h
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_checkpoint.c
palacios/src/palacios/vmm_mem.c