diff options
| -rw-r--r-- | console.c | 2 | 
1 files changed, 1 insertions, 1 deletions
@@ -278,7 +278,7 @@ console_init(void)    devsw[CONSOLE].write = console_write;    devsw[CONSOLE].read = console_read; -  //use_console_lock = 1; +  use_console_lock = 1;    pic_enable(IRQ_KBD);    ioapic_enable(IRQ_KBD, 0);  | 
