Arch Linux now packages a kernel based on the 4.12.0 with the patches I mentionned above applied.
The sdcard slot and perf counters now work, however, I still have issues with the mini pcie slot when the intel 7260 wifi card is plugged.
Order your ESPRESSObin on:
Signup to our newsletter
Technical specification tables can not be displayed on mobile. Please view on desktop