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.


VM Reset Bugfixes
[palacios.git] / palacios / src / devices / keyboard.c
index 3609058..c5b5281 100644 (file)
@@ -821,6 +821,7 @@ static int keyboard_write_command(struct guest_info * core, ushort_t port, void
        case 0xfb:
        case 0xfc:
        case 0xfd:
+       case 0xfe:
        case 0xff:
            if (!(cmd & 0x1)) { 
                // general purpose reset