configs/acmesystems_aria_g25: update and add genimage handling

- configs/acmesystems_aria_g25_128mb_defconfig,
  configs/acmesystems_aria_g25_256mb_defconfig :
  update default configuration files for both 128MB and 256MB version

- board/acmesystems/aria-g25/genimage.cfg
  board/acmesystems/aria-g25/post-image.sh :
  add support for genimage in order to build sdcard.img

- board/acmesystems/aria-g25/readme.txt : update documentation
  for Aria G25 and add notes about how to build sdcard.img

Signed-off-by: Biagio Montaruli <biagio.hkr@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>

3 files changed, 75 insertions, 33 deletions

diff --git a/board/acmesystems/aria-g25/genimage.cfg b/board/acmesystems/aria-g25/genimage.cfg
new file mode 100644
index 000000000..2e2eb129a
--- /dev/null
+++ b/board/acmesystems/aria-g25/genimage.cfg
@@ -0,0 +1,35 @@
+# Minimal SD card image for the Acmesystems Aria G25
+
+image boot.vfat {
+	vfat {
+		file zImage {
+			image = "zImage"
+		}
+
+		file at91-ariag25.dtb {
+			image = "at91-ariag25.dtb"
+		}
+
+		file boot.bin {
+			image = "at91sam9x5_aria-sdcardboot-linux-zimage-dt-3.8.6.bin"
+		}
+	}
+	size = 16M
+}
+
+image sdcard.img {
+	hdimage {
+	}
+
+	partition boot {
+		partition-type = 0xC
+		bootable = "true"
+		image = "boot.vfat"
+	}
+
+	partition rootfs {
+		partition-type = 0x83
+		image = "rootfs.ext4"
+		size = 512M
+	}
+}
diff --git a/board/acmesystems/aria-g25/post-image.sh b/board/acmesystems/aria-g25/post-image.sh
new file mode 100755
index 000000000..2846f56d7
--- /dev/null
+++ b/board/acmesystems/aria-g25/post-image.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+BOARD_DIR="$(dirname $0)"
+GENIMAGE_CFG="${BOARD_DIR}/genimage.cfg"
+GENIMAGE_TMP="${BUILD_DIR}/genimage.tmp"
+
+rm -rf "${GENIMAGE_TMP}"
+
+genimage  \
+	--rootpath "${TARGET_DIR}"     \
+	--tmppath "${GENIMAGE_TMP}"    \
+	--inputpath "${BINARIES_DIR}"  \
+	--outputpath "${BINARIES_DIR}" \
+	--config "${GENIMAGE_CFG}"
diff --git a/board/acmesystems/aria-g25/readme.txt b/board/acmesystems/aria-g25/readme.txt
index 734ccd2df..cb9e9abf7 100644
--- a/board/acmesystems/aria-g25/readme.txt
+++ b/board/acmesystems/aria-g25/readme.txt
@@ -1,51 +1,44 @@
+Acme Systems Aria G25
+
 Build instructions
 ==================
 
-As a regular user configure and then build:
-
-$ make acmesystems_aria_g25_128mb_defconfig (128MB RAM variant)
-  or...
-$ make acmesystems_aria_g25_256mb_defconfig (256MB RAM variant)
+To build an image for the Aria G25 choose the configuration
+corresponding to the Aria variant.
 
-$ make
+For 128MB RAM variant type:
 
-Writing to the MicroSD card
-===========================
+$ make acmesystems_aria_g25_128mb_defconfig
 
-Assuming your Aria G25 baseboard has a MicroSD socket, for example with
-the Terra baseboard, you'll need a blank MicroSD (obviously) initialized
-in a particular way to be able to boot from it.
+else for 256MB RAM variant type:
 
-Assuming the card is seen as /dev/sdb in your PC/laptop/other device
-you'll need to run the following commands as root or via sudo.
+$ make acmesystems_aria_g25_256mb_defconfig
 
-Make sure all of the card partitions are unmounted before starting.
+To customize the configuration choosed type:
 
-First we'll need to create two partitions:
+$ make menuconfig
 
-# sfdisk -uM /dev/sdb <<EOF
-,32,6
-;
-EOF
+When you are ready to start building Buildroot type:
 
-Then we'll need to create the empty filesystems:
+$ make
 
-# mkdosfs -n SD_BOOT /dev/sdb1
-# mkfs.ext4 -L SD_ROOT /dev/sdb2
+How to write the microSD card
+=============================
 
-We'll populate the first partition (boot) with the relevant files:
+Once the build process is finished you will have an image called
+"sdcard.img" in the output/images/ directory.
 
-# mount /dev/sdb1 /mnt
-# cp output/images/at91bootstrap.bin /mnt/BOOT.BIN
-# cp output/images/zImage /mnt
-# cp output/images/at91-ariag25.dtb /mnt
-# umount /mnt
+Write the bootable SD card image "sdcard.img" onto an SD card with
+"dd" command:
 
-And the root filesystem afterwards:
+  $ sudo dd if=output/images/sdcard.img of=/dev/sdX
 
-# mount /dev/sdb2 /mnt
-# tar -C /mnt output/images/rootfs.tar
-# umount /mnt
+Assuming your Aria G25 baseboard has a MicroSD socket, for example
+with the Terra baseboard, insert the microSD card into the baseboard
+slot and power it.
 
-You're done, insert the MicroSD card in the slot and enjoy.
+To get the kernel log messages you can use a DPI cable
+(http://www.acmesystems.it/DPI)
 
+You can find additional informations, tutorials and a very
+comprehensive documentation on http://www.acmesystems.it/aria.