GUEST_SRCS-y += powerpc64/xc_linux_build.c
GUEST_SRCS-y += powerpc64/flatdevtree.c

CTRL_SRCS-y += powerpc64/xc_memory.c
