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: 5cfe8e0)
added os_debug device
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 4 Feb 2009 20:01:47 +0000 (14:01 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 4 Feb 2009 20:01:47 +0000 (14:01 -0600)
commit6f8b30059c9ffdde7196610bcc264793c190b4b3
tree895abf5c866289d64da28e8132ca9a34ed5b21a4tree | snapshot
parent5cfe8e0eb0ec54c27ac4c1659cbe099d8f91496acommit | diff
added os_debug device
palacios/include/devices/os_debug.h [new file with mode: 0644] blob
palacios/src/devices/os_debug.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project