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.


pulled out vmxassist, added linux kernel
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 8 Feb 2008 22:26:31 +0000 (22:26 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 8 Feb 2008 22:26:31 +0000 (22:26 +0000)
commitc6ae41adef1bd7d54bc7e74abc4a5438e203d754
tree79b9d28c9c4774e80ecf90799c53b71d45971cd6
parentb6c7009abd8e269d9860eb21f4aaba385ed78276
pulled out vmxassist, added linux kernel
palacios/build/Makefile
palacios/build/VM_linux_kernel [new file with mode: 0644]
palacios/build/depend.mak
palacios/include/geekos/defs.h
palacios/include/geekos/vmm_sizes.h
palacios/src/geekos/defs.asm
palacios/src/geekos/fd_boot.asm
palacios/src/geekos/main.c
palacios/src/geekos/mem.c