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.


*** empty log message ***
authorZheng Cui <zcui293@gmail.com>
Thu, 14 Aug 2008 20:04:33 +0000 (20:04 +0000)
committerZheng Cui <zcui293@gmail.com>
Thu, 14 Aug 2008 20:04:33 +0000 (20:04 +0000)
commit175e16eb9ea5db34e144aa3a4e0faa0fc87ce5e9
treeb26eedb58319174636f8a148bad1629c32609a63
parentc07f7f11e5d781b90f4d8876d12f3fc4e47309ad
*** empty log message ***
palacios/build/Makefile
palacios/include/geekos/bootinfo.h
palacios/include/geekos/defs.h
palacios/src/geekos/defs.asm
palacios/src/geekos/mem.c
palacios/src/geekos/setup.asm
palacios/src/vmboot/rombios/rombios.c