I am configuring a Kernel on Arrow SoCkit Evaluation board with Cyclone V SoC (5CSXFC6D631C6N) I was following the Embedded Linux Beginners guide as provide in Rocketboards. Now, I am unable to checkout ‘rel_socfpga-4.1_15.09.01_pr’ from Altera SoCfpga repository. Does anybody have a source for that file? Or any alternate release that I can use. Thanks for your help.