> Linux need ext2 for /boot partition. Thanks Gandalf, aha - hence the "ext2load" bit in the boot params. The installer happily let me create ext4 for /boot - I wonder if it should restrict this to ext2. It would be prudent for Martin to mention this on his install page.
Anyhow, I put the SD card into my laptop, copied the files from /boot (using rsync -av) and then created a new ext2 filesystem on the partition, finally I copied the files back using rsync again. I put the card back into the plug and sadly it still does not boot. An md5sum comparison of the original files versus the ones on SD card look fine. printenv same as before. The error this time is: SDHC found. Card desciption is: Manufacturer: 0x02, OEM "TM" Product name: "SD04G", revision 6.1 Serial number: 2967450160 Manufacturing date: 5/2010 CRC: 0x00, b0 = 0 SDHC found. Card desciption is: Manufacturer: 0x02, OEM "TM" Product name: "SD04G", revision 6.1 Serial number: 2967450160 Manufacturing date: 5/2010 CRC: 0x00, b0 = 0 ** Invalid partition type "" (expect "U-Boot") ** Invalid partition type "" (expect "U-Boot") ## Booting image at 00800000 ... Bad Magic Number Do I have to re-install instead rather than use this shortcut? When I put the card into my laptop, mount correctly reports it as ext2: /dev/mmcblk1p1 on /media/1ed24136-5aae-4c36-a1b5-610ce24d7e4a type ext2 (rw,nosuid,nodev,uhelper=udisks) -- GPG Key fingerprint = B323 477E F6AB 4181 9C65 F637 BC5F 7FCC 9CC9 CC7F -- To UNSUBSCRIBE, email to debian-arm-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/aanlktimyor88xbrahm6coeezm++59vrm176eqtyzn...@mail.gmail.com