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: e3790ca)
Debug stuff for testing boot on physical machines
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 14 Jul 2008 17:27:23 +0000 (17:27 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 14 Jul 2008 17:27:23 +0000 (17:27 +0000)
commita6b18965e0ab6c3a0f2950c684892052194c1c58
tree8cf490371605dd64b495b92200e443b9284abb2atree | snapshot
parente3790ca3f1dc65672c1e82b9d6ab6d66c2ad17aacommit | diff
Debug stuff for testing boot on physical machines
palacios/src/geekos/irq.c diff | blob | history
palacios/src/geekos/keyboard.c diff | blob | history
palacios/src/geekos/main.c diff | blob | history
palacios/src/geekos/vm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project