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

Reply via email to