1 files changed, 10 insertions, 0 deletions
diff --git a/src/os/linux-os_mount_devtmpfs.c b/src/os/linux-os_mount_devtmpfs.c
new file mode 100644
index 0000000..b3f34a1
--- /dev/null
+++ b/src/os/linux-os_mount_devtmpfs.c
@@ -0,0 +1,10 @@
+/* ISC license. */
+
+#include <sys/mount.h>
+
+#include "os.h"
+
+int os_mount_devtmpfs (char const *point)
+{
+  return mount("dev", point, "devtmpfs", MS_NOSUID | MS_NOEXEC, "") ;
+}