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.


Boot a 1 G kitten kernel under qemu
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 21:51:52 +0000 (16:51 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 21:51:52 +0000 (16:51 -0500)
commit9785cbb377eb0c556180caa43848a18e84f5dd2a
treedecb7933815cff73b12749a792062d74d1465d02
parent4298bbf36e8bb689f2817fc7616803c2fd788005
Boot a 1 G kitten kernel under qemu
kitten/boot-kitten [new file with mode: 0755]