Owner manual

Using Zynq with Linux
www.digilentinc.com page 8 of 23
Copyright Digilent, Inc. All rights reserved. Other product and company names mentioned may be trademarks of their respective owners.
$ ./scripts/dtc/dtc -h
Booting With Device Tree
The boot loader needs to load the Device Tree into the system memory before starting the kernel. For
Zynq based platforms, the boot loader will load the DTB to a fixed memory address 0x01000000
1
.
1
It is defined in line 112 of arch/arm/kernel/head.S