Not mounting hal partition results in not mounting inform partition, and
this makes it impossible to change the reboot parameter.
Change-Id: Ia72423392606a9986f55045e7cfb4c4adbfcbb4a
WITH_USR_PART=
FAKE_ROOT=/run/upgrade-sysroot
+HAL_MNT=hal
SYNC="/bin/sync"
REBOOT="/sbin/reboot"
"$MOUNT" -o ro "${PART_ROOTFS}" "${FAKE_ROOT}"
}
+
+#------------------------------------------------
+# mount_hal
+#------------------------------------------------
+mount_hal() {
+ if [ "z${PART_HAL}" = "z" ]; then
+ # No hal partition
+ return
+ fi
+
+ "$MOUNT" -o ro "${PART_HAL}" "${FAKE_ROOT}/${HAL_MNT}"
+}
+
#------------------------------------------------
# mount_partitions
#------------------------------------------------
get_partition_id
mount_rootfs
+ mount_hal
"$MOUNT" -t proc none ${FAKE_ROOT}/proc
"$MOUNT" -t sysfs none ${FAKE_ROOT}/sys
"$MOUNT" -t devtmpfs devtmpfs ${FAKE_ROOT}/dev