devfs: add placeholder for partition device registration (Etapa 3)

- Added devfs_register_partitions() placeholder function
- Added declaration in devfs.h
- Placeholder for future dynamic partition node creation
- Tests: 124/124 PASS

diff --git a/include/devfs.h b/include/devfs.h
index 9e91dc21e3bf35ead6b4c17a6cd3c63aaa7e49e7..6c79a4b41b1f79e75a02b9209a4273542dc5e424 100644 (file)
--- a/include/devfs.h
+++ b/include/devfs.h
@@ -31,4 +31,7 @@ void devfs_kill_sb(vfs_superblock_t* sb);
  */
 int devfs_register_device(fs_node_t *node);
 
+/* Register partition devices (placeholder for future implementation) */
+void devfs_register_partitions(void);
+
 #endif

diff --git a/src/kernel/devfs.c b/src/kernel/devfs.c
index f26f9cea99cfacf92792156e30ef9ec3b7063a90..b0bb25a67cd18f098a8848446889724fee578bd0 100644 (file)
--- a/src/kernel/devfs.c
+++ b/src/kernel/devfs.c
@@ -75,6 +75,12 @@ int devfs_register_device(fs_node_t *node) {
     return 0;
 }
 
+/* ---- Partition device nodes ---- */
+/* Register partition devices (placeholder for future implementation) */
+void devfs_register_partitions(void) {
+    /* Placeholder - will be implemented when partition scanning is active */
+}
+
 static uint32_t prng_state = 0x12345678;
 
 static uint32_t dev_null_read(fs_node_t* node, uint32_t offset, uint32_t size, uint8_t* buffer) {