From d6015f1af0720100a7fb1e440311f8c4f3d9ac5b Mon Sep 17 00:00:00 2001
From: Lionel Sambuc <lionel@minix3.org>
Date: Fri, 22 Nov 2013 13:54:02 +0100
Subject: [PATCH] Fix devman boot crash when using image scripts

This was caused by a missing line in the generated fstab.

Change-Id: If0590a27706bbb62e53d72f224ccb332e31421f6
---
 releasetools/arm_sdimage.sh | 1 +
 releasetools/x86_hdimage.sh | 1 +
 2 files changed, 2 insertions(+)

diff --git a/releasetools/arm_sdimage.sh b/releasetools/arm_sdimage.sh
index f51da89bb..570e7c535 100755
--- a/releasetools/arm_sdimage.sh
+++ b/releasetools/arm_sdimage.sh
@@ -108,6 +108,7 @@ sh ${BUILDSH} -V SLOPPY_FLIST=yes -V MKBINUTILS=yes -V MKGCCCMDS=yes -j ${JOBS}
 cat >${FSTAB} <<END_FSTAB
 /dev/c0d0p2   /home   mfs     rw                      0       2
 /dev/c0d0p3   /usr    mfs     rw                      0       2
+none          /sys    devman  rw,rslabel=devman       0       0
 END_FSTAB
 
 rm -f ${DESTDIR}/SETS.*
diff --git a/releasetools/x86_hdimage.sh b/releasetools/x86_hdimage.sh
index 4fb10a7a0..00dcaa0fd 100755
--- a/releasetools/x86_hdimage.sh
+++ b/releasetools/x86_hdimage.sh
@@ -70,6 +70,7 @@ fi
 cat >${FSTAB} <<END_FSTAB
 /dev/c0d0p2   /usr    mfs     rw                      0       2
 /dev/c0d0p3   /home   mfs     rw                      0       2
+none          /sys    devman  rw,rslabel=devman       0       0
 END_FSTAB
 
 rm -f ${DESTDIR}/SETS.*