*** empty log message ***

[palacios.git] / palacios / src / geekos / serial.c

diff --git a/palacios/src/geekos/serial.c b/palacios/src/geekos/serial.c
index 4f79c84..f769d7f 100644 (file)
--- a/palacios/src/geekos/serial.c
+++ b/palacios/src/geekos/serial.c
@@ -10,7 +10,6 @@
 unsigned short serial_io_addr = 0;
 uint_t serial_print_level;
 
-
 static void Serial_Interrupt_Handler(struct Interrupt_State * state) {
   char rcv_byte;
   char irq_id;