obj.tsar/drivers/soclib/soclib_xicu.o: drivers/soclib/soclib_xicu.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 kern/system.h kern/hal-arch.h arch/tsar/arch.h kern/cpu.h \
 libk/utils.h kern/hal-cpu.h cpu/mipsel/cpu-asm.h cpu/mipsel/cpu-regs.h \
 kern/scheduler.h libk/list.h kern/kmagics.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 kern/spinlock.h mm/kmem.h mm/kcm.h \
 fs/sysfs/sysfs.h kern/rpc.h libk/errno.h vfs/vfs-errno.h libk/bits.h \
 kern/atomic.h kern/remote_access.h cpu/mipsel/cpu-remote.h \
 kern/remote_fifo.h drivers/soclib/drvdb.h drivers/soclib/soclib_xicu.h \
 kern/cpu-trace.h kern/kdmsg.h kern/mcs_sync.h libk/boot-info.h \
 kern/thread.h kern/wait_queue.h kern/task.h kern/rwlock.h mm/vmm.h \
 libk/rbtree.h mm/pmm.h arch/tsar/arch-pmm.h mm/vm_region.h mm/mapper.h \
 kern/radix.h vfs/vfs.h vfs/vfs-params.h vfs/vfs-private.h \
 kern/ku_transfert.h fs/fat32/fat32.h fs/devfs/devfs.h kern/htable.h \
 kern/keysdb.h kern/signal.h