1 files changed, 37 insertions, 0 deletions
diff --git a/lib/profile/proteanos.sh b/lib/profile/proteanos.sh
index 2e0739c..ee3627d 100644
--- a/lib/profile/proteanos.sh
+++ b/lib/profile/proteanos.sh
@@ -175,6 +175,43 @@ prof_proteanos_get_fstab()
 	esac
 }
 
+prof_proteanos_file_systems_mounted()
+{
+	local root="${1}"
+	local arch="${2}"
+	local plat="${3}"
+
+	[ -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}"