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 size configuration to geekos guest init
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 23 Feb 2009 05:52:32 +0000 (23:52 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 23 Feb 2009 05:52:32 +0000 (23:52 -0600)
commitc0a14d340c1fb52eccdc752b496043839dd891ab
treed5c16bf85462489a4dec9f36c7af37518a44ae39
parenta568601e28c34c590815d1d2a16e85fbca352ebd
added memory size configuration to geekos guest init
geekos/src/geekos/vm.c