Karena masalah pada Linux-socfpga Kernel versi 4.17 untuk Intel® Stratix® 10 SoC dari https://github.com/altera-opensource/linux-socfpga, Linux Kernel mungkin gagal boot jika clock referensi HPS telah ditentukan sebagai f2s_free_clk dalam Sistem Prosesor Keras Intel® Stratix® 10 FPGA IP di Intel Quartus® Prime Pro Platform Designer.
Patch untuk Linux-Socfpga 4.18 Kernel tersedia untuk mengatasi masalah ini. Unduh dan terapkan patch di bawah ini ke cabang socfpga-4.18 dari klon git lokal Anda dari https://github.com/altera-opensource/linux-socfpga, kemudian bangun ulang Kernel Linux Anda.
0001-fix-f2s_free_clk-setting_1.patch
Patch untuk masalah ini telah dirilis ke https://github.com/altera-opensource/linux-socfpga.