obj.tsar/libk/ctype.o: libk/ctype.c 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