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: f0d84b1)
Handle 8254 PIT reload count of 0 correctly (means 65536)
authorAlexander Kudryavtsev <alexk@ispras.ru>
Fri, 17 Feb 2012 20:25:41 +0000 (14:25 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Feb 2012 20:27:07 +0000 (14:27 -0600)
commitb6731d8c63a50ae8083edb56a9a726957910ec64
treef406986324bf887e6c2d71f98832a9067c3fa970tree | snapshot
parentf0d84b1fde4ae3f2e72de0de94610fd8f2f79975commit | diff
Handle 8254 PIT reload count of 0 correctly (means 65536)
palacios/src/devices/8254.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project