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: 30f88bc)
trying to deal with nvram bug, disabled for now
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 2 Oct 2008 21:59:57 +0000 (16:59 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 2 Oct 2008 21:59:57 +0000 (16:59 -0500)
commit963271f089c8da043d1c0f5d1549f13f794a4c6b
tree8dfd0bc161dd3d8ccd4d2b5ff6f3d1264ad282e7tree | snapshot
parent30f88bcf48e9bf46f69a8ef16dbadfe66ce145c9commit | diff
trying to deal with nvram bug, disabled for now
palacios/src/devices/nvram.c diff | blob | history
palacios/src/geekos/timer.c diff | blob | history
palacios/src/palacios/vmm_intr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project