Linux Kernel 2.6.31.6 for the PLX OX782x SoC used by Arch Linux ARM