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.


Updated kernel module and user tools to reflect ioctl changes for host devices
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 17 May 2011 00:10:33 +0000 (19:10 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 17 May 2011 00:10:33 +0000 (19:10 -0500)
commit4fdb3bc363a277d32fd95f58358470874b992c53
tree1e3076760b3b61ce1c93f5f5dd37c2d16ecf15c1
parent5ac6ebe490fe6ebb948dd68736c693a3bb2f82dc
Updated kernel module and user tools to reflect ioctl changes for host devices
linux_module/palacios-host-dev-user.h
linux_module/palacios-host-dev.c
linux_module/palacios.h
linux_usr/Makefile
linux_usr/v3_os_debug.c [new file with mode: 0644]
linux_usr/v3_user_host_dev.c