[LibOS] Add /dev/fd/ directory

Signed-off-by: Michał Kowalczyk <mkow@invisiblethingslab.com>
gramineproject · May 9, 2024 · 25056d0 · 25056d0
1 parent fda2f87
commit 25056d0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/libos/src/fs/dev/fs.c b/libos/src/fs/dev/fs.c
@@ -162,6 +162,9 @@ int init_devfs(void) {
     tty->dev.dev_ops.flush = &dev_tty_flush;
     tty->dev.dev_ops.poll = &dev_tty_poll;
 
+    struct pseudo_node* fd_link = pseudo_add_link(root, "fd", NULL);
+    fd_link->link.target = "/proc/self/fd";
+
     struct pseudo_node* stdin = pseudo_add_link(root, "stdin", NULL);
     stdin->link.target = "/proc/self/fd/0";
     struct pseudo_node* stdout = pseudo_add_link(root, "stdout", NULL);