Linux для zynq7000 Опции

[sheynmanyu]

Здравствуйте!
Я новичок как в Linux, так и в мире FPGA.
Помогите, пожалуйста, с выбором Linux для ZYNQ 7000.
Нашла несколько возможных вариантов: PetaLinux, Xilinx Zynq Linux, Yocto, Xillinux. Никак не могу разобраться, чем же они друг от друга отличаются?
В моем проекте Linux нужен для контроля за состоянием системы (запись в логи информации о температуре, ошибках, нештатных ситуациях) и для передачи информации по сети Ethernet (файлов, для чего планируется поднять FTP сервер). Возможно, прошивка PL (хотелось бы иметь возможность подключить драйвера для Devcfg). Как таковой real time system на данном этапе не нужно, поэтому в эту сторону я не смотрела.
Что удалось выяснить (поправьте, если я неправильно поняла):
xillinux - полновесная ОС с графическим интерфейсом (похоже, избыточна).
Xilinx Zynq Linux - интересная сборка для ZedBoard. Включает в себя Telnet, SSH, WebServer, FTP. Не включает по умолчанию драйвер для Devcfg (можно ли его самостоятельно добавить?)
Про Yocto и Petalinux не понимаю.

[sheynmanyu]

Собрала... Запустила. Спасибо всем за советы и ссылки.
Возникла проблема с сохранением файлов. Хочу сохранять файлы после выключения питания платы.

Образ файловой системы качала отсюда http://www.wiki.xilinx.com/Build+and+Modify+a+Rootfs. Перепаковала, чтобы он нормально воспринимался u-boot. Попробовала после загрузки создать текстовый файл, сохранить его и перезагрузиться. После перезхагрузки моего файла уже не было.

При загрузке линукса в терминал выводится:
RAMDISK: gzip image found at block 0
mmc0: new high speed SDHC card at address 0007
mmcblk0: mmc0:0007 SD04G 3.71 GiB
mmcblk0: p1 p2
EXT4-fs (ram0): couldn't mount as ext3 due to feature incompatibilities
EXT4-fs warning (device ram0): ext4_update_dynamic_rev:749: updating to rev 1 because of new feature flag, running e2fsck is recommended
EXT4-fs (ram0): mounted filesystem without journal. Opts: (null)
VFS: Mounted root (ext4 filesystem) on device 1:0.
Starting rcS...
++ Mounting filesystem
mount: mounting /dev/mmcblk0p1 on /mnt failed: No such file or directory
mount: mounting /dev/mmcblk0 on /mnt failed: No such file or directory

Help...