On 19 January 2012 21:31, Mark Langsdorf <mark.langsd...@calxeda.com> wrote: > + highbank_binfo.board_id = 0xEC10100f; /* provided by deviceTree */
Where does this number come from? It's not in http://www.arm.linux.org.uk/developer/machines/ Is 3027 (==0xbd3) you? http://www.arm.linux.org.uk/developer/machines/list.php?id=3027 -- PMM