sources=tcl834_baseline config=