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.


minor test kernel updates
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 3 Feb 2010 01:30:15 +0000 (19:30 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 3 Feb 2010 01:30:15 +0000 (19:30 -0600)
commit9a745f4d990981e4a26b8548a5388162fc0f260c
tree3356e5b5b967406d355a0a408ea75e1016e86761
parentb0924234ef63d8e5a0f0317f455071f8293cf2bd
minor test kernel updates
test/geekos_test_vm/src/geekos/fd_boot.asm
test/geekos_test_vm/src/geekos/main.c
test/geekos_test_vm/src/geekos/setup.asm