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: 8817338)
fixed stupid errors
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 28 Apr 2008 23:19:30 +0000 (23:19 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 28 Apr 2008 23:19:30 +0000 (23:19 +0000)
commit7c11601d0b92517069ef802f54a4c770cdcce423
tree2a3213b7fe5b0a9d59c3f6c38fafd723a5150768tree | snapshot
parent881733821ac0efab7d80485e86eb6bbb0e92e59ecommit | diff
fixed stupid errors
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