>>> [root@rpmbuild-arm var]# rpm -ql
kernel-3.7.3-101.fc17.armv7l | grep
>>> boot
>>> /boot/.vmlinuz-3.7.3-101.fc17.armv7l.hmac
>>> /boot/System.map-3.7.3-101.fc17.armv7l
>>> /boot/config-3.7.3-101.fc17.armv7l
>>> /boot/initramfs-3.7.3-101.fc17.armv7l.img
>>> /boot/vmlinuz-3.7.3-101.fc17.armv7l
>>
>>
>> Appears it's not in the F17 3.7 kernel, just F18. I see it on
>> 3.7.5-201.fc18 for instance.
>
>
Is there a way to generate a dtb file from kernel and kernel-devel, without
having to recompile everything? If so, how was this kernel tested to boot?
Not with kernel and kernel-devel you need source but you can do it
without recompiling everything.
Not sure what you'd achieve by doing so, what are you trying to achieve?
peter