Me disculpo si esto parece una pregunta tonta, pero ¿es posible obtener un FPGA Xilinx (específicamente, el Artix-7 35T) para ejecutar Linux sin el uso del EDK de Xilinx? He encontrado algunos tutoriales como éste pero parecen para requerir el EDK (del cual no hay una versión gratuita, creo).
Actualmente estoy usando Vivado y el SDK de Xilinx y puedo ejecutar un programa sencillo "Hello World" en C, pero tengo problemas para intentar que Linux se ejecute. ¿Puedo implementar Linux usando esas dos herramientas? ¿Hay una buena guía en cualquier lugar sobre cómo hacerlo?