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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: c9b6a9f)
Correct irq behavior for mouse
authorBrian Ambielli <BrianAmbielli2007@u.northwestern.edu>
Fri, 22 Mar 2013 21:13:56 +0000 (16:13 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 22 Mar 2013 21:13:56 +0000 (16:13 -0500)
commite376e4a1e05971bd34c1d45dac70d73429db863b
tree74760a923aaa2643f7ab205169bbb685d2996b0atree | snapshot
parentc9b6a9f7d7360156ddb60223a2abd0989ce31adfcommit | diff
Correct irq behavior for mouse
palacios/src/devices/keyboard.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project