disable POSTK_DEBUG_* on x86_64

kernel/Makefile.build.in

@@ -9,7 +9,9 @@ OBJS += rbtree.o
 OBJS += pager.o
 # POSTK_DEBUG_ARCH_DEP_18 coredump arch separation.
 # OBJS added gencore.o
+ifeq ($(ARCH), arm64)
 OBJS += gencore.o
+endif
 DEPSRCS=$(wildcard $(SRC)/*.c)
 
 CFLAGS += -I$(SRC)/include -I@abs_builddir@/../ -I@abs_builddir@/include -D__KERNEL__  -g -fno-omit-frame-pointer -fno-inline -fno-inline-small-functions
@@ -17,7 +19,9 @@ LDFLAGS += -e arch_start
 IHKOBJ = ihk/ihk.o
 
 # POSTK_DEBUG_ARCH_DEP_24
+ifeq ($(ARCH), arm64)
 default: all
+endif
 
 include $(SRC)/config/config.$(TARGET)
 include @abs_builddir@/../../ihk/cokernel/Makefile.common
@@ -28,8 +32,11 @@ OBJDUMP ?= objdump
 OBJCOPY ?= objcopy
 
 # POSTK_DEBUG_ARCH_DEP_26
-#SUBCMD_OPTS = TARGET=$(TARGET) O=$(CURDIR)/ihk CC=$(CC) LD=$(LD) SRC=$(SRC)
+ifeq ($(ARCH), arm64)
 SUBCMD_OPTS = TARGET=$(TARGET) O=$(CURDIR)/ihk CC=$(CC) LD=$(LD) OBJCOPY=$(OBJCOPY) SRC=$(SRC)
+else
+SUBCMD_OPTS = TARGET=$(TARGET) O=$(CURDIR)/ihk CC=$(CC) LD=$(LD) SRC=$(SRC)
+endif
 
 ld_kern_cmd_base = $(LD) $(LDFLAGS) -o $@.elf $^
 mkimage_cmd_base = [ -f $(SRC)/script/mkimage.$(TARGET) ] && CC=$(CC) LD=$(LD) LDFLAGS="$(LDFLAGS_MKIMAGE)" OBJDUMP=$(OBJDUMP) OBJCOPY=$(OBJCOPY) sh $(SRC)/script/mkimage.$(TARGET) '$@.elf' '$@' '$(SRC)' || cp $@.elf $@

kernel/include/elfcore.h

@@ -116,4 +116,10 @@ struct thread;
 extern void arch_fill_prstatus(struct elf_prstatus64 *prstatus, struct thread *thread, void *regs0);
 
 #endif /* __HEADER_ELFCORE_H */
+#else /* POSTK_DEBUG_ARCH_DEP_18 */
+#ifdef __x86_64
+#include "../../arch/x86/kernel/include/elfcore.h"
+#elif __aarch64__
+#include "../../arch/arm64/kernel/include/elfcore.h"
+#endif
 #endif /* POSTK_DEBUG_ARCH_DEP_18 */

kernel/include/elfcoregpl.h

@@ -64,4 +64,10 @@ struct elf_prpsinfo64
 };
 
 #endif /* __HEADER_ELFCOREGPL_H */
+#else /* POSTK_DEBUG_ARCH_DEP_18 */
+#ifdef __x86_64
+#include "../../arch/x86/kernel/include/elfcoregpl.h"
+#elif __aarch64__
+#include "../../arch/arm64/kernel/include/elfcoregpl.h"
+#endif
 #endif /* POSTK_DEBUG_ARCH_DEP_18 */