It's a pity the most important info is often omitted: - Can it run mainline Linux kernel? What about a major Linux distribution? - How good is the documentati

It's a pity the most important info is often omitted: - Can it run mainline Linux kernel? What about a major Linux distribution? - How good is the documentation? - Which major peripherals (audio input, audio output, camera, HDMI, USB on headers) are available? - Are there GPIOs with usable levels (not 1.8V!) and with large pitch (2.54/1.27)? - Are there embedded low-level peripherals, like I2C, multiple serial ports, PWM generators, ADC, DACs?