Armbian and DietPI pages, although Linux oriented, contain a fairly long list of hackable boards, so you can look there for boards using supported platforms.

https://www.armbian.com/download/

http://dietpi.com/