From cd36dd770394d069526eb09b8c4e7100feffd964 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 7a537293f..035ff33e4 100755
--- a/releasetools/arm_sdimage.sh
+++ b/releasetools/arm_sdimage.sh
@@ -112,6 +112,7 @@ sh ${BUILDSH} -V SLOPPY_FLIST=yes -j ${JOBS} -m ${ARCH} -O ${OBJ} -D ${DESTDIR}
 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 6d0f9ee63..41d0afd7d 100755
--- a/releasetools/x86_hdimage.sh
+++ b/releasetools/x86_hdimage.sh
@@ -73,6 +73,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.*
-- 
2.44.0