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: adcadbb)
code for new irq hooking mechanism boots-puppy-iso-to-command-prompt
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 21 Jul 2008 15:33:55 +0000 (15:33 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 21 Jul 2008 15:33:55 +0000 (15:33 +0000)
commit0b618729352e97aa06ec2f19f33595f6caaeb9d1
tree8f9d527367299f82a7dca60c1b43b0005a443ee0tree | snapshot
parentadcadbb30bda4464104fdfaa83bb638347328b20commit | diff
code for new irq hooking mechanism
palacios/src/palacios/svm_handler.c diff | blob | history
palacios/src/palacios/vmm.c diff | blob | history
palacios/src/palacios/vmm_intr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project