From 91821da0110e05724640903434c3d85fc3d02466 Mon Sep 17 00:00:00 2001
From: Lukas Oesch <lukasoesch20@gmail.com>
Date: Tue, 12 May 2026 12:00:40 +0200
Subject: if the boot_root_fs contains a /dev directory, vfs mounts the devfs
 onto the existing directory

---
 kernel/include/kernel/filesystem/vfs.hpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'kernel/include')

diff --git a/kernel/include/kernel/filesystem/vfs.hpp b/kernel/include/kernel/filesystem/vfs.hpp
index 7e66fb7..b5053a2 100644
--- a/kernel/include/kernel/filesystem/vfs.hpp
+++ b/kernel/include/kernel/filesystem/vfs.hpp
@@ -1,6 +1,7 @@
 #ifndef TEACH_OS_KERNEL_FILESYSTEM_VFS_HPP
 #define TEACH_OS_KERNEL_FILESYSTEM_VFS_HPP
 
+#include "kernel/filesystem/devfs/filesystem.hpp"
 #include <kernel/filesystem/dentry.hpp>
 #include <kernel/filesystem/filesystem.hpp>
 #include <kernel/filesystem/mount_table.hpp>
@@ -80,6 +81,8 @@ namespace kernel::filesystem
     auto do_mount_internal(kstd::shared_ptr<dentry> const & mount_point_dentry, kstd::shared_ptr<filesystem> const & fs)
         -> void;
 
+    auto graft_persistent_device_fs(kstd::shared_ptr<devfs::filesystem> const & device_fs) -> void;
+
     mount_table m_mount_table;
   };
 }  // namespace kernel::filesystem
-- 
cgit v1.2.3