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.


fixed debug print syntax errors
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 28 Jan 2009 23:36:36 +0000 (17:36 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 28 Jan 2009 23:36:36 +0000 (17:36 -0600)
commit19b0b4544674b4f9bc727da5242d625f18821a48
tree4c2a672e569d70fc92e20dd2ed5bc8ea33422b5d
parenta6865d183eedbdf3e5510e4be89dcb5ce51b5953
fixed debug print syntax errors
palacios/src/devices/8259a.c
palacios/src/devices/keyboard.c
palacios/src/devices/nvram.c