Rasbperry Pi is a popular choice as a SoC / SBC Linux board. But you have to use their custom linux kernel. Are there Linux boards with decent mainline Linux kernel support?

    • @[email protected]
      link
      fedilink
      11 year ago

      Device Tree Source. It’s a text description of the hardware. The kernel uses it to load and configure drivers. It’s the most critical set of information for supporting any particular board.