[jpm_sd]

Nothing about NXP? They are a pretty big player in this space, and mostly do a great job contributing upstream to the kernel, but I guess they don't have a hobby-level entry point readily available.

I've used NXP-based embedded Linux hardware from Toradex, Gateworks and EmbeddedTS in previous projects, lots of vendors out there.

https://www.toradex.com/

https://www.gateworks.com/

https://www.embeddedts.com/

https://variscite.com/

https://www.ibase.com.tw/en

https://www.phytec.com/

https://www.ezurio.com/