SOURCES+=	$(addprefix kdb/api/v4/, input.cc kernelinterface.cc tcb.cc thread.cc schedule.cc sigma0.cc)
