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.


This patch contains various small fixes. Some are MINIX-specific, some are general.
authorErik van der Kouwe <erikvdk@gmail.com>
Fri, 5 Nov 2010 21:19:47 +0000 (16:19 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 5 Nov 2010 21:19:47 +0000 (16:19 -0500)
commitb1a5e7177b66fa319c896492d87f6276508bcbce
tree6538f7a98396ac3b67944b9dc944712a6bba5fe8
parent506ce8412af316f361b7629a87af6672a87585dd
This patch contains various small fixes. Some are MINIX-specific, some are general.
palacios/include/palacios/vmcs.h
palacios/src/devices/8254.c
palacios/src/devices/curses_cons.c
palacios/src/devices/ide.c
palacios/src/devices/serial.c
palacios/src/palacios/vmcs.c
palacios/src/palacios/vmx.c
scripts/basic/fixdep.c