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.


Reduced debugging output from consoles / ioctls
authorKyle Hale <kh@u.northwestern.edu>
Mon, 7 Oct 2013 20:17:24 +0000 (15:17 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 7 Oct 2013 20:17:24 +0000 (15:17 -0500)
commit09ffb2b89e1089c43239a3c1f86d08fb7ba63b28
tree4a285e5cb54ee2bc730e72f52831faed758cd71a
parentfb9b30c4e53136c98b1e59b91ac934114bd9b0e7
Reduced debugging output from consoles / ioctls
linux_module/vm.c
linux_usr/vnc/x0vncserver.cxx