BSDL file Tegra K1

Hello,

Where can I find BSDL file for TEGRA K1 ?

Thanks,
Christophe.