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
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.