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.


moved guest files to kernel image
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 21 Jul 2008 05:29:10 +0000 (05:29 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 21 Jul 2008 05:29:10 +0000 (05:29 +0000)
commit57e3d7d1e671a261befef967b4a441e5d7dc2303
tree275d4d85f09fa2edbad231758d1e23c3916f1116
parent20885b915c6caf47c8bd78d7b5b492fef388ac2d
moved guest files to kernel image
palacios/build/Makefile
palacios/include/geekos/bootinfo.h
palacios/include/geekos/defs.h
palacios/src/geekos/defs.asm
palacios/src/geekos/fd_boot.asm
palacios/src/geekos/main.c
palacios/src/geekos/mem.c
palacios/src/geekos/setup.asm
palacios/src/geekos/vm.c