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: 3b027df)
reworked build system to automatically compile Linux kernel module when selected...
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 16 Mar 2011 00:11:45 +0000 (19:11 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 16 Mar 2011 00:11:45 +0000 (19:11 -0500)
commited4aa27a4901310df5fa1127ad62645da1bb4802
tree17ad69a2fce9f5e1eea511bc92019a89cfb81798tree | snapshot
parent3b027df0b7bc5b102ac403411b0e9a756b7081a6commit | diff
reworked build system to automatically compile Linux kernel module when selected as the target OS
Kconfig diff | blob | history
Makefile diff | blob | history
linux_module/Makefile diff | blob | history
Public Palacios Development Repository for the V3VEE Project