On Fri, Sep 5, 2014 at 10:52 AM, Pali Rohár <pali.rohar at gmail.com> wrote: > So what is your suggestion for identifing board (name/type) which > will work with any kernel (and will not be broken again by kernel > later)? $ cat /sys/bus/soc/devices/soc0/machine Freescale i.MX6 Quad SABRE Smart Device Board