Rename usbkbd to usbhcd to better reflect the new design.

app/config.c

@@ -25,7 +25,7 @@
 #include "pmem.h"
 #include "screen.h"
 #include "smp.h"
-#include "usbkbd.h"
+#include "usbhcd.h"
 
 #include "read.h"
 #include "print.h"

build32/Makefile

@@ -18,7 +18,7 @@ SYS_OBJS = system/cpuid.o \
            system/screen.o \
            system/smp.o \
            system/temperature.o \
-           system/usbkbd.o \
+           system/usbhcd.o \
            system/vmem.o \
            system/xhci.o
 

build64/Makefile

@@ -18,7 +18,7 @@ SYS_OBJS = system/cpuid.o \
            system/screen.o \
            system/smp.o \
            system/temperature.o \
-           system/usbkbd.o \
+           system/usbhcd.o \
            system/vmem.o \
            system/xhci.o
 

system/keyboard.c

@@ -4,7 +4,7 @@
 #include <stdint.h>
 
 #include "io.h"
-#include "usbkbd.h"
+#include "usbhcd.h"
 
 #include "keyboard.h"
 

system/ohci.c

@@ -11,7 +11,6 @@
 
 #include "memory.h"
 #include "unistd.h"
-#include "usbkbd.h"
 #include "usb.h"
 
 #include "ohci.h"

system/ohci.h

@@ -9,7 +9,7 @@
 
 #include <stdint.h>
 
-#include "usbkbd.h"
+#include "usbhcd.h"
 
 /*
  * Initialises the OHCI device found at base_addr, scans all the attached USB

system/usbhcd.c

@@ -14,7 +14,7 @@
 #include "print.h"
 #include "unistd.h"
 
-#include "usbkbd.h"
+#include "usbhcd.h"
 
 //------------------------------------------------------------------------------
 // Constants

system/usbhcd.h

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: GPL-2.0
-#ifndef USBKBD_H
-#define USBKBD_H
+#ifndef USBHCD_H
+#define USBHCD_H
 /*
  * Provides the base USB host controller driver for USB keyboard support.
  *
@@ -254,4 +254,4 @@ void find_usb_keyboards(bool pause_at_end);
  */
 uint8_t get_usb_keycode(void);
 
-#endif // USBKBD_H
+#endif // USBHCD_H

system/xhci.c

@@ -10,7 +10,6 @@
 
 #include "memory.h"
 #include "unistd.h"
-#include "usbkbd.h"
 #include "usb.h"
 
 #include "xhci.h"

system/xhci.h

@@ -9,7 +9,7 @@
 
 #include <stdint.h>
 
-#include "usbkbd.h"
+#include "usbhcd.h"
 
 /*
  * Initialises the XHCI device found at base_addr, scans all the attached USB