I followed the ArchiTech tutorial. However when I boot the sdcard I get:
0
Controller never released inhibit bit(s).
Device: zynq_sdhci
Manufacturer ID: 3
OEM: 5344
Name: SL16G
Tran Speed: 25000000
Rd Block Len: 512
SD version 2.0
High Capacity: Yes
Capacity: 14.8 GiB
Bus Width: 1-bit
Controller never released inhibit bit(s).
** Bad device mmc 0 **
Copying Linux from SD to RAM...
Controller never released inhibit bit(s).
** Bad device mmc 0 **
Is this a known problem? I read somewhere on the forum that there as an issue with 4GB sdcards, but this is a 16GB sdcard.
EDIT: After making sure that the first partition type was FAT16 and the second partition containes an ext2 filesystem it will boot.