Where are the dtsi device tree files for Ivy Carrier board?

Additionally, you can check this thread.