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.


Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 29 Oct 2010 21:41:03 +0000 (16:41 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 29 Oct 2010 21:41:03 +0000 (16:41 -0500)
commitcd89b672b4f7e1b64c86ff0234a9935946533590
tree9cbd8dcf5cc5c9c4f5492c0fdecce024856732db
parentf40945e5a406b48b7b5ee678a3d8d8f0b56f7d74
parent79693563ef70e662c9145bdd5cd0c733a7ba7dcc
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

Conflicts:

palacios/src/devices/apic.c
palacios/src/devices/apic.c
test/geekos_test_vm/src/common/fmtout.c
test/geekos_test_vm/src/geekos/bget.c
test/geekos_test_vm/src/geekos/main.c
test/geekos_test_vm/src/geekos/malloc.c
test/geekos_test_vm/src/geekos/mem.c
test/geekos_test_vm/src/geekos/screen.c