X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fkeyboard.c;h=c5b528100f1070c9035fc08ccbd20c0da1cf386e;hb=1d750a8e86f4f32eca7d776556d8d96b09375f5c;hp=3609058e1f513222b77f0d464806ac9a9bd50145;hpb=e3b069fbf758a7d689c75a1b24441c7eec63e230;p=palacios.git

diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index 3609058..c5b5281 100644
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -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