User:Knuxfanwin8/List of devices running the mainline kernel