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 '64bit' into 64bit-right
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 7 Oct 2008 23:26:05 +0000 (18:26 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 7 Oct 2008 23:26:05 +0000 (18:26 -0500)
commit452885dcf15a56694ba283a079877ac38b545b0f
tree204d4e5874b9c25b0c91d95351bc183f7e7f1ca5
parent9ba3dfc76b6572ac3a71e4b1be6cd4f9cf28f593
parent5db3136d5331c355c188537c68005db8d2cb4eac
Merge branch '64bit' into 64bit-right

Conflicts:
geekos/build/Makefile
geekos/src/geekos/net.c
geekos/build/Makefile
geekos/src/geekos/net.c
palacios/include/devices/ide.h