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.


Working now in both the hp box and qemu, I think
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 12 May 2008 00:21:17 +0000 (00:21 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 12 May 2008 00:21:17 +0000 (00:21 +0000)
commitba112e34a1151ff27c2161c1b7b85fe52392e42d
treef527e69168c9ba0110f78e25c75bbe91e7ca7c0a
parent3504e84d7f1f05023feeda8aaf42e37de07b6a04
Working now in both the hp box and qemu, I think
palacios/src/vmboot/rombios/rombios.c