Linux kernel source for SoC FPGA Intel

Hi, I notice that there are two sources for building a Linux kernel for SoC FPGA. First is https://github.com/altera-fpga/linux-socfpga, and the second is https://github.com/altera-fpga/gsrd-socfp...