From 88f5991c29cb6add5f3b7993f8883d1315ccbb1c Mon Sep 17 00:00:00 2001
From: Sergey Bugaev <bugaevc@gmail.com>
Date: Sun, 19 Jan 2020 01:01:46 +0300
Subject: [PATCH] WindowServer: Print the error when failing to open /dev/fb0

---
 Servers/WindowServer/WSScreen.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Servers/WindowServer/WSScreen.cpp b/Servers/WindowServer/WSScreen.cpp
index 2a3f397329..d72ed020c7 100644
--- a/Servers/WindowServer/WSScreen.cpp
+++ b/Servers/WindowServer/WSScreen.cpp
@@ -31,6 +31,7 @@
 #include "WSWindowManager.h"
 #include <Kernel/FB.h>
 #include <fcntl.h>
+#include <stdio.h>
 #include <sys/mman.h>
 #include <unistd.h>
 
@@ -47,7 +48,10 @@ WSScreen::WSScreen(unsigned desired_width, unsigned desired_height)
     ASSERT(!s_the);
     s_the = this;
     m_framebuffer_fd = open("/dev/fb0", O_RDWR | O_CLOEXEC);
-    ASSERT(m_framebuffer_fd >= 0);
+    if (m_framebuffer_fd < 0) {
+        perror("failed to open /dev/fb0");
+        ASSERT_NOT_REACHED();
+    }
 
     if (fb_set_buffer(m_framebuffer_fd, 0) == 0) {
         m_can_set_buffer = true;