obj.tsar/ksh/ppm_func.o: ksh/ppm_func.c ksh/kminiShell.h vfs/vfs.h \
 kern/system.h kern/hal-arch.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 arch/tsar/arch.h libk/errno.h \
 vfs/vfs-errno.h kern/atomic.h kern/rwlock.h kern/wait_queue.h \
 libk/list.h kern/kmagics.h kern/kdmsg.h kern/spinlock.h kern/mcs_sync.h \
 libk/boot-info.h kern/cpu.h libk/utils.h kern/hal-cpu.h \
 cpu/mipsel/cpu-asm.h cpu/mipsel/cpu-regs.h kern/scheduler.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 mm/kmem.h mm/kcm.h \
 fs/sysfs/sysfs.h kern/rpc.h libk/bits.h kern/remote_access.h \
 cpu/mipsel/cpu-remote.h kern/remote_fifo.h vfs/vfs-params.h \
 vfs/vfs-private.h mm/mapper.h kern/radix.h kern/ku_transfert.h \
 fs/fat32/fat32.h fs/devfs/devfs.h kern/htable.h mm/ppm.h mm/page.h \
 kern/thread.h kern/cluster.h mm/heap_manager.h
