5 Jul
2012
5 Jul
'12
11:38 a.m.
On Thu, Jul 05, 2012 at 08:32:16AM +0000, Arnd Bergmann wrote:
On Thursday 05 July 2012, Vaibhav Hiremath wrote:
Does machine ID still gets set? May be I am missing something...
No, it doesn't.
This is a *really* unfortunate decision, BTW - it means that if your bootloader has a device tree available it needs to know if the kernel it's booting is DT or non-DT which is just generally unhelpful. Sadly I don't hold out much hope of being able to fix it, though.