modified:   kernel-TS/ts.config
	modified:   kernel-TS_64/ts.config
	modified:   kernel-TS_SMP/ts.config