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.


Added IDE driver stuff (not working for anything >plain old ide
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 8 Feb 2008 22:27:57 +0000 (22:27 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 8 Feb 2008 22:27:57 +0000 (22:27 +0000)
commitd83e2708c74101e906f251b872223c6545afe3a1
treef227d1ff922c700a920a7cd9e73b3b4290dbed19
parentc6ae41adef1bd7d54bc7e74abc4a5438e203d754
Added IDE driver stuff (not working for anything >plain old ide
palacios/include/geekos/blockdev.h [new file with mode: 0644]
palacios/include/geekos/ide.h [new file with mode: 0644]
palacios/src/geekos/blockdev.c [new file with mode: 0644]
palacios/src/geekos/ide.c [new file with mode: 0644]