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 missing initialization in bochs console
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 15 Nov 2010 19:47:11 +0000 (13:47 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 15 Nov 2010 19:47:11 +0000 (13:47 -0600)
commit97f4e32a34233946b20aa61521723a07df4db1a8
tree2d1f3ae1019dfab759938329bfc4bd81da47b10b
parent925dd7f968e83f7b0181c0ade4bef6679361487b
fixed missing initialization in bochs console
palacios/src/devices/bochs_debug.c