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.


modified DEBUG macro
authorJack Lange <jarusl@cs.northwestern.edu>
Sat, 22 Jan 2011 00:46:46 +0000 (18:46 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 22 Jan 2011 00:46:46 +0000 (18:46 -0600)
commitdbffa86f170230cacd9653fff0f7f783c12094e2
tree52d07b54d8d1795a98cd28e53c8680fbd5fb6df8
parent5b1f618cf74dbcd7e490fa3fe4da5a4c53d79b5d
modified DEBUG macro
palacios/src/devices/cga.c