#include <stdlib.h>
#include <string.h>
#include "devices/kbd.h"
+#include "devices/input.h"
#include "devices/serial.h"
#include "devices/timer.h"
#include "devices/vga.h"
intr_init ();
timer_init ();
kbd_init ();
+ input_init ();
#ifdef USERPROG
exception_init ();
syscall_init ();
/* Powers down the machine we're running on,
- as long as we're running on Bochs or qemu. */
+ as long as we're running on Bochs or QEMU. */
void
power_off (void)
{
for (p = s; *p != '\0'; p++)
outb (0x8900, *p);
+ asm ("cli; hlt");
+ printf ("still running...\n");
for (;;);
}