X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=KernelLand%2FKernel%2Farch%2Farmv7%2Fdebug.c;h=78746f177bbbd9b12b8905a1d30f5d4b33ed55ea;hb=af67042b8d7f05fe76583aef1afb2022b519a1aa;hp=4d0725185a15a59f174b0e01730c64ef6aa17a0b;hpb=6965351033dc792ca2aaacac8fa39a204770a0b2;p=tpg%2Facess2.git

diff --git a/KernelLand/Kernel/arch/armv7/debug.c b/KernelLand/Kernel/arch/armv7/debug.c
index 4d072518..78746f17 100644
--- a/KernelLand/Kernel/arch/armv7/debug.c
+++ b/KernelLand/Kernel/arch/armv7/debug.c
@@ -9,6 +9,7 @@
  */
 #include <acess.h>
 #include <drv_serial.h>
+#include <debug_hooks.h>
 
 // === CONSTANTS ===
 //#define UART0_BASE	0x10009000