arch/arm64/kernel/tasks.o: arch/arm64/kernel/tasks.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/stdlib.h