MicroZed Configuration
To configure the MicroZed and its SD card, the following steps are :
- Take a microSD card. Create a 64MB FAT32 partition followed by an ext4 partition (any size you like as long as the system fits).
- Copy contents of the boot/directory to the FAT32 partition
- Unpack debian-wheezy-zynq.tar.bz2 to the ext4 partition
- Put the microSD card in the board and power up
- Bringing up u-boot for the 1st time: open serial terminal on USB (115200), reset the board, press ctrl-c to get to u-boot shell:
setenv bootcmd "mmcinfo && fatload mmc 0:1 0x3000000 uImage && fatload mmc 0:1 0x2A00000 devicetree.dtb && bootm 0x3000000 - 0x2A00000"
setenv bootargs console=ttyPS0,115200 rootdelay=3 root=b302
saveenv
- Reset the board
- The root password is 'a' (single lower case a letter). Change it.
The chosen distribution is Debian. The following text is only for information purposes.
The Linux distribution Buidroot has been installed on the MicroZed.
There is a fork for the
MicroZed version of buildroot.
To be able to compile the kernet, we used Ubuntu 14.04 virtual machine.
This has also be tried on Ubuntu 16.04 and did not work, even if the
instructions are foolowed.
Quick tip* : the compilation of the Linux kernel is long. It is possible to make it faster by adding processors to the virtual machine.
Software/Hardware Used
- Laptop :
- Windows 10
- Intel Core i5-4210U @ 2.40 GHz, 8.00 Go of RAM
- Virtual box 5.0.20 r106931
- Ubuntu 14.04.4-desktop
- IDE :
- MicroZed Board XC7Z010
16 June 2016 - Nicolas Boucquey