Hi, sir
We're preparing for porting the Xilinux at the first time. According to the document "Getting started with Xillinux for Zynq-7000 EPP v1.3", it describes the min. size of SD card is 2GB with Xilinux as shown below. Just to confirm with you: is it that case ?
A reliable SD card (for Zedboard) or MicroSD (for MicroZed / Zybo) with 2GB or
more, preferably Sandisk. The card that (possibly) came with the board is not
recommended, as problems have been reported using it with Xillinux.