Index: boot/arch/ia64/Makefile.inc
===================================================================
--- boot/arch/ia64/Makefile.inc	(revision 577fe9b66437c659dd86ce8cb1588daf58b9bae2)
+++ boot/arch/ia64/Makefile.inc	(revision 26e7d6da331e8d35b5e83880a9740de5e9e4bd99)
@@ -47,4 +47,6 @@
 	arch/$(BARCH)/src/sal.c \
 	arch/$(BARCH)/src/sal_asm.S \
+	arch/$(BARCH)/src/pal.c \
+	arch/$(BARCH)/src/pal_asm.S \
 	arch/$(BARCH)/src/putchar.c \
 	$(COMPS_C) \