arch/arm64/mm/page.o: arch/arm64/mm/page.c \
 /home/stefan/HermitCore/include/hermit/stdio.h \
 /home/stefan/HermitCore/include/hermit/config.h \
 /home/stefan/HermitCore/include/hermit/stddef.h \
 /home/stefan/HermitCore/arch/arm64/include/asm/stddef.h \
 /home/stefan/HermitCore/arch/arm64/include/asm/irqflags.h \
 /home/stefan/HermitCore/include/hermit/stdarg.h \
 /home/stefan/HermitCore/include/hermit/memory.h \
 /home/stefan/HermitCore/include/hermit/errno.h \
 /home/stefan/HermitCore/include/hermit/string.h \
 /home/stefan/HermitCore/arch/arm64/include/asm/string.h \
 /home/stefan/HermitCore/include/hermit/spinlock.h \
 /home/stefan/HermitCore/include/hermit/spinlock_types.h \
 /home/stefan/HermitCore/arch/arm64/include/asm/atomic.h \
 /home/stefan/HermitCore/arch/arm64/include/asm/atomic32.h \
 /home/stefan/HermitCore/arch/arm64/include/asm/atomic64.h \
 /home/stefan/HermitCore/include/hermit/tasks_types.h \
 /home/stefan/HermitCore/include/hermit/vma.h \
 /home/stefan/HermitCore/arch/arm64/include/asm/page.h \
 /home/stefan/HermitCore/include/hermit/stdlib.h \
 /home/stefan/HermitCore/arch/arm64/include/asm/processor.h \
 /home/stefan/HermitCore/include/hermit/signal.h \
 /home/stefan/HermitCore/include/hermit/semaphore_types.h \
 /home/stefan/HermitCore/arch/arm64/include/asm/tasks_types.h \
 /home/stefan/HermitCore/include/hermit/tasks.h \
 /home/stefan/HermitCore/arch/arm64/include/asm/tasks.h \
 /home/stefan/HermitCore/include/hermit/logging.h \
 /home/stefan/HermitCore/include/hermit/time.h \
 /home/stefan/HermitCore/arch/arm64/include/asm/time.h \
 /home/stefan/HermitCore/include/hermit/syscall.h \
 /home/stefan/HermitCore/include/stdlib.h