[SeaBIOS] [PATCH v2 5/6] boot: wait for key release before continuing boot

[Paolo Bonzini]

Ensure that SeaBIOS eats the key corresponding to the menu entry,
even the user keeps it pressed for a while.

Signed-off-by: Paolo Bonzini 
---
 src/boot.c | 6 +++++-
 1 file modificato, 5 inserzioni(+). 1 rimozione(-)

diff --git a/src/boot.c b/src/boot.c
index e3bdd7b..c136ad4 100644
--- a/src/boot.c
+++ b/src/boot.c
@@ -456,8 +456,12 @@ interactive_bootmenu(void)
     }

default:
-        break;
+        return;
     }
+
+    while (get_keystroke(0) >= 0)
+        ;
+
 }

// BEV (Boot Execution Vector) list