1 files changed, 8 insertions, 0 deletions
diff --git a/Userland/Services/SymbolServer/main.cpp b/Userland/Services/SymbolServer/main.cpp
index 8d6e1a2f45..f975f3b37b 100644
--- a/Userland/Services/SymbolServer/main.cpp
+++ b/Userland/Services/SymbolServer/main.cpp
@@ -49,6 +49,14 @@ int main(int, char**)
         return 1;
     }
 
+    // NOTE: Developers can opt into kernel symbolication by making /boot/Kernel accessible to the "symbol" user.
+    if (access("/boot/Kernel", F_OK) == 0) {
+        if (unveil("/boot/Kernel", "r") < 0) {
+            perror("unveil");
+            return 1;
+        }
+    }
+
     if (unveil(nullptr, nullptr) < 0) {
         perror("unveil");
         return 1;