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)
commit4b93282ac2e60cd4d74b1e0be8ac758933140413
treeaf15161c042206fb9230c60431fe9fcde7968017
parent10d90467d53345f6b3c1ec575f34266253858333
*** empty log message ***
13 files changed:
palacios/build/Makefile
palacios/include/geekos/bootinfo.h
palacios/include/geekos/defs.h
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_intr.h
palacios/src/devices/8259a.c
palacios/src/devices/generic.c
palacios/src/geekos/defs.asm
palacios/src/geekos/mem.c
palacios/src/geekos/setup.asm
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_intr.c
palacios/src/vmboot/rombios/rombios.c