Check that the serial rate is reasonable.

[pintos-anon] / src / devices / serial.c

diff --git a/src/devices/serial.c b/src/devices/serial.c
index 8dc7f18cfbd0272b630e0d85c87abf119be23173..099b22841efeafd4289f718210ffb592f8148f57 100644 (file)
--- a/src/devices/serial.c
+++ b/src/devices/serial.c
@@ -131,6 +131,8 @@ set_serial (int bps)
   int baud_base = 1843200 / 16;         /* Base rate of 16550A. */
   uint16_t divisor = baud_base / bps;   /* Clock rate divisor. */
 
+  ASSERT (bps >= 300 && bps <= 115200);
+
   /* Enable DLAB. */
   outb (LCR_REG, LCR_N81 | LCR_DLAB);