app: aboot: Print device tree address before jumping to kernel.
Change-Id: I492de10bb23e6c7b1c6a6ae3d4ad86810e33f49a
diff --git a/app/aboot/aboot.c b/app/aboot/aboot.c
index 87fd1da..c5ddd13 100644
--- a/app/aboot/aboot.c
+++ b/app/aboot/aboot.c
@@ -431,8 +431,8 @@
generate_atags(tags, final_cmdline, ramdisk, ramdisk_size);
#endif
- dprintf(INFO, "booting linux @ %p, ramdisk @ %p (%d)\n",
- entry, ramdisk, ramdisk_size);
+ dprintf(INFO, "booting linux @ %p, ramdisk @ %p (%d), tags/device tree @ %p\n",
+ entry, ramdisk, ramdisk_size, tags_phys);
enter_critical_section();