profile_bind_*mount(): New functions

1 files changed, 28 insertions, 0 deletions

diff --git a/lib/profile/proteanos.sh b/lib/profile/proteanos.sh
index 3a3926f..ee3627d 100644
--- a/lib/profile/proteanos.sh
+++ b/lib/profile/proteanos.sh
@@ -184,6 +184,34 @@ prof_proteanos_file_systems_mounted()
 	[ -e "${root}/dev/null" ]
 }
 
+prof_proteanos_bind_mount()
+{
+	local arch="${1}"
+	local plat="${2}"
+	local olddir="${3}"
+	local newdir="${4}"
+
+	case "${arch}" in
+		*-linux-*)
+			mount -o bind "${olddir}" "${newdir}"
+			;;
+	esac
+}
+
+prof_proteanos_bind_umount()
+{
+	local arch="${1}"
+	local plat="${2}"
+	local olddir="${3}"
+	local newdir="${4}"
+
+	case "${arch}" in
+		*-linux-*)
+			umount "${newdir}"
+			;;
+	esac
+}
+
 prof_proteanos_configure_system_native()
 {
 	local root="${1}"