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.


fix IDE initialization
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 26 May 2009 22:07:13 +0000 (17:07 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 26 May 2009 22:07:13 +0000 (17:07 -0500)
commit86fb0d26700ecdd5967013c43d70a5e77f2d0a7c
tree6f35baea88ea8b71d8a26a0d007bc55a3ea8dfcd
parentac93f0773f4c6cef2f2f542240695a8706037d41
fix IDE initialization
palacios/src/devices/ide.c