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: 159356d)
added PIC device
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 25 Apr 2008 19:56:34 +0000 (19:56 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 25 Apr 2008 19:56:34 +0000 (19:56 +0000)
commit881733821ac0efab7d80485e86eb6bbb0e92e59e
treed46c80138d8d07c9f63e61b75c543cb75eee005atree | snapshot
parent159356d2478ab200cda0a0aa726d8f1bfa4ffeebcommit | diff
added PIC device
palacios/include/palacios/vmm_intr.h diff | blob | history
palacios/src/devices/8259a.c diff | blob | history
palacios/src/geekos/vm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project