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 18:22:45 +0000 (18:22 +0000)
committerZheng Cui <zcui293@gmail.com>
Thu, 14 Aug 2008 18:22:45 +0000 (18:22 +0000)
commit10d90467d53345f6b3c1ec575f34266253858333
treead7c066f30f23ab4605e5a3d6e98e29777b243ea
parentea2968665a3b24afca4a4a361926021b482b6c57
*** 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