SYSTEM_DATA_MNT="opt"
USER_MNT="opt/usr"
+HAL_MNT="hal"
BTRFS="/usr/sbin/btrfs"
get_partition_id() {
PART_ROOTFS=$("$BLKID" --match-token PARTLABEL=rootfs -o device || "$BLKID" --match-token LABEL=rootfs -o device)
PART_SYSTEM_DATA=$("$BLKID" --match-token PARTLABEL=system-data -o device || "$BLKID" --match-token LABEL=system-data -o device)
PART_USER=$("$BLKID" --match-token PARTLABEL=user -o device || "$BLKID" --match-token LABEL=user -o device)
+ if [[ ! $(</proc/cmdline) =~ partition_ab= ]]; then
+ PART_HAL=$("$BLKID" --match-token PARTLABEL=hal -o device || "$BLKID" --match-token LABEL=hal -o device)
+ else
+ PART_HAL=""
+ fi
}
mount_bow_partition() {
if [ ! -z "${PART_USER}" ]; then
mount_checkpoint_partition user ${PART_USER} /${USER_MNT}
fi
+
+if [ ! -z "${PART_HAL}" ] && [ ! -d "/${HAL_MNT}/lib" ]
+then
+ # Workaround code to check whether /hal/lib directory is exist
+ mount_checkpoint_partition hal ${PART_HAL} /${HAL_MNT}
+fi