Actually accurate toolchain depends on TV codename and .cfg used. Otherwise there's a ready armv7l-tizen one into (provided on Samsung Opensource) 15_DTV_HawkM.zip/tzdemuxerservice.tar.gz. It's ok for most purposes but not kernel for example.
I can share relevant Jazz.M (K>=7000) compiled-by-myself for x86 one though