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