obj.tsar/kern/rr-sched.o: kern/rr-sched.c libk/config.h \
 cpu/mipsel/cpu-config.h arch/tsar/arch-config.h mm/mm-config.h \
 kern/kernel-config.h