obj.tsar/kern/sys_gettimeofday.o: kern/sys_gettimeofday.c kern/cpu.h \
 libk/utils.h libk/types.h libk/config.h cpu/mipsel/cpu-config.h \
 arch/tsar/arch-config.h mm/mm-config.h kern/kernel-config.h \
 libk/stdint.h kern/hal-cpu.h cpu/mipsel/cpu-asm.h kern/system.h \
 kern/hal-arch.h arch/tsar/arch.h cpu/mipsel/cpu-regs.h kern/scheduler.h \
 libk/list.h kern/kmagics.h kern/rr-sched.h kern/event.h kern/time.h \
 kern/device.h kern/driver.h kern/metafs.h libk/libk.h libk/string.h \
 libk/ctype.h kern/spinlock.h mm/kmem.h mm/kcm.h fs/sysfs/sysfs.h \
 kern/rpc.h libk/errno.h vfs/vfs-errno.h libk/bits.h kern/atomic.h \
 kern/remote_access.h cpu/mipsel/cpu-remote.h kern/remote_fifo.h \
 kern/thread.h kern/wait_queue.h kern/kdmsg.h kern/mcs_sync.h \
 libk/boot-info.h
