Booting Linux on MAX10 FPGA Development kit (ACDS v17.0)

Hello! I’m trying to run Linux kernel 4.9.76-ltsi-rt from altera opensources with buildroot 2017.11 on MAX10 FPGA Development kit with NIOS II, but it’s fail. I use this instruction (https://ro...