Include list functions in list.c and list.h. Change type of Kernel object from TD* to TD.