GSOC 2015 Aspirant for coreboot ARM SoC's mainboard port

[Saket Sinha]

Hi,

I would like to participate to Google Summer of Code 2015 by
contributing to coreboot ARM SoC's mainboard port for Coreboot.

I can see from the below link
http://www.coreboot.org/Project_Ideas#coreboot_ARM_SoC.27s_mainboard_port

This mainly targets-
Xilinx Zynq-7030
Altera Cyclone V
ST spear1340

Thus for this project, either of these hardware would be required.
Kindly let me know the availability of these hardware for students and  how
to get started for the same.

Regards,
Saket Sinha