On Thu May 4 12:05:48 BST 2017, John Luke Gibson wrote:
Gosh, I feel like this is just more mainline stuff that would be parsed out, because there must be more than a hundred drivers with everything from intel to yamaha.
Yes, you need to look at the configuration file for the kernel to find out what's included. There's a file in the vendor's Buildroot repository (https://github.com/NextThingCo/CHIP-buildroot) that seems to be what you're looking for:
https://github.com/NextThingCo/CHIP- buildroot/blob/chip/stable/board/nextthing/pocketchip/linux.config
David