obj.tsar/libk/iprintk.o: libk/iprintk.c kern/remote_access.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 \
 cpu/mipsel/cpu-remote.h kern/system.h kern/hal-arch.h arch/tsar/arch.h \
 libk/libk.h libk/string.h libk/ctype.h
