@@ -103,7 +103,6 @@ OBJS += hw/pci-shmem.o
OBJS += kvm-ipc.o
OBJS += builtin-sandbox.o
OBJS += virtio/mmio.o
-OBJS += hw/i8042.o
# Translate uname -m into ARCH string
ARCH ?= $(shell uname -m | sed -e s/i.86/i386/ -e s/ppc.*/powerpc/ \
@@ -124,6 +123,7 @@ endif
#x86
ifeq ($(ARCH),x86)
DEFINES += -DCONFIG_X86
+ OBJS += hw/i8042.o
OBJS += x86/boot.o
OBJS += x86/cpuid.o
OBJS += x86/interrupt.o
@@ -349,10 +349,6 @@ static struct ioport_operations kbd_ops = {
int kbd__init(struct kvm *kvm)
{
-#ifndef CONFIG_X86
- return 0;
-#endif
-
kbd_reset();
state.kvm = kvm;
ioport__register(kvm, I8042_DATA_REG, &kbd_ops, 2, NULL);