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
Kyle Hale [Mon, 7 Oct 2013 20:17:24 +0000 (15:17 -0500)]
linux_module/vm.c
linux_usr/vnc/x0vncserver.cxx

index dd4aeda..ea585ab 100644 (file)
@@ -156,7 +156,7 @@ static long v3_vm_ioctl(struct file * filp,
 
     struct v3_guest * guest = filp->private_data;
 
-    INFO("V3 IOCTL %d\n", ioctl);
+    DEBUG("V3 IOCTL %d\n", ioctl);
 
     switch (ioctl) {
        case V3_VM_LAUNCH: {
index cd5fb87..7a4c438 100644 (file)
@@ -370,7 +370,7 @@ public:
     }
     
     virtual void keyEvent(rdr::U32 key, bool down) {
-       vlog.info("Key event received (key=%d, down=%d.",key,down);
+       //vlog.info("Key event received (key=%d, down=%d.",key,down);
     
        uint8_t scan_code = convert_to_scancode(key,down);
 
@@ -423,7 +423,7 @@ public:
                exit(-1);
            }
            
-           fprintf(stderr,"render!\n");
+           //fprintf(stderr,"render!\n");
 
            server->add_changed(pb->getRect());
            server->tryUpdate();