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.releases.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: c33dac6)
Added <lwk/palacios.h> header for all users of the V3VEE library to include.
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 21:08:04 +0000 (16:08 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 21:08:04 +0000 (16:08 -0500)
commitad9eac2585dced281946bb716e3c2d96584a25fa
treebd92529cd741a745bcfe2d273c584108c116e7cbtree | snapshot
parentc33dac67849ea2f7171f8bac8977b824e6626e6dcommit | diff
Added <lwk/palacios.h> header for all users of the V3VEE library to include.
Safe to include even if CONFIG_V3VEE is not defined.
Print out debugging info on the ROM Bios location.
kitten/Makefile diff | blob | history
kitten/include/lwk/palacios.h [new file with mode: 0644] blob
kitten/init/main.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project