1. 2013-04-27 [4] ARMv7-A UEFI runtime services support in Linux linaro-bo Jean-Christop 2. 2013-04-09 [1] PXE for arndale linaro-bo Rony Nandy 3. 2013-04-02 [1] boot Ubuntu using PXE from U-Boot on the Samsung XE30 linaro-bo Olof Johansso