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: 4d2f332)
Add guarded module infrastructure
authorKyle Hale <kh@u.northwestern.edu>
Wed, 10 Apr 2013 21:03:22 +0000 (16:03 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 24 Apr 2013 23:22:04 +0000 (18:22 -0500)
commit324f9e9a6e83b8079926902a26e3f6bb5e624a06
treea0d1be4fb5f77b74a43ffe3772c10e3838ece3f8tree | snapshot
parent4d2f332f7cc62ee71669fceab8f3632859d9cac2commit | diff
Add guarded module infrastructure

This commit includes all of the changes for guarded modules that
do not touch the VMM core at all. This includes a host interface,
userspace utility, and Palacios extensions.
13 files changed:
linux_module/Makefile diff | blob | history
linux_module/iface-guard-mods.c [new file with mode: 0644] blob
linux_module/iface-guard-mods.h [new file with mode: 0644] blob
linux_usr/Makefile diff | blob | history
linux_usr/cJSON.c [new file with mode: 0644] blob
linux_usr/cJSON.h [new file with mode: 0644] blob
linux_usr/v3_register_gm.c [new file with mode: 0644] blob
palacios/include/gears/guard_mods.h [new file with mode: 0644] blob
palacios/include/gears/privilege.h [new file with mode: 0644] blob
palacios/src/gears/Kconfig diff | blob | history
palacios/src/gears/Makefile diff | blob | history
palacios/src/gears/ext_guard_mods.c [new file with mode: 0644] blob
palacios/src/gears/ext_priv.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project