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: 28b1d0a)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 22 Apr 2008 20:12:19 +0000 (20:12 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 22 Apr 2008 20:12:19 +0000 (20:12 +0000)
commita9ba0182142340a2dd7b6a0b7c63727e87b08c89
tree34009ad2eee32c639ab8bcad3c94120e796bba43tree | snapshot
parent28b1d0ae6db40cb3e1f5a9b3596b625d2f2af0e4commit | diff
*** empty log message ***
palacios/include/devices/simple_pic.h [new file with mode: 0644] blob
palacios/include/devices/timer.h [new file with mode: 0644] blob
palacios/include/palacios/vmm_irq.h [new file with mode: 0644] blob
palacios/src/devices/simple_pic.c [new file with mode: 0644] blob
palacios/src/devices/timer.c [new file with mode: 0644] blob
palacios/src/palacios/vmm_irq.c [new file with mode: 0644] blob
palacios/src/palacios/vmm_lowlevel.asm [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project