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

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