wl1251 is a driver for TI wl1251 802.11 chipset designed for embedded devices, supporting SDIO and SPI busses. Adding support 1253 (the 5 GHz version) should be relatively easy.

This is a static dump of the old wiki, taken after locking it in January 2015. The new wiki is at https://wireless.wiki.kernel.org/.
versions of this page: last, v1