Arria 10 Virtual platform device tree

I’m trying to create a custom linux distribution on the Arria 10 Virtual platform.
I have a root filesystem generated base on debian and compiled a kernel.
Now I want to generate a new SD-card image I can use with the the Virtual platform.
I already have the platform running with the Ångström pre-build image.
Also in the example are some scripts to generate a new image, but I can’t find the device tree file required.
Is there a way to generate the device tree file, or some place to download it from?

Regards,
Rienk

Ah, found it.
It is in the linux source:
kernel/arch/arm/boot/dts/socfpga_arria10_swvp.dts