diff --git a/src/system/kernel/debug/blue_screen.cpp b/src/system/kernel/debug/blue_screen.cpp
index c8cd64f0bb..bca5a30ad2 100644
--- a/src/system/kernel/debug/blue_screen.cpp
+++ b/src/system/kernel/debug/blue_screen.cpp
@@ -621,6 +621,20 @@ blue_screen_enter(bool debugOutput)
 }
 
 
+bool
+blue_screen_paging_enabled(void)
+{
+	return sScreen.paging;
+}
+
+
+void
+blue_screen_set_paging(bool enabled)
+{
+	sScreen.paging = enabled;
+}
+
+
 void
 blue_screen_clear_screen(void)
 {
diff --git a/src/system/kernel/debug/blue_screen.h b/src/system/kernel/debug/blue_screen.h
index 2789e832bd..df2e79b8ea 100644
--- a/src/system/kernel/debug/blue_screen.h
+++ b/src/system/kernel/debug/blue_screen.h
@@ -16,6 +16,9 @@ extern "C" {
 status_t blue_screen_init(void);
 status_t blue_screen_enter(bool debugOutput);
 
+bool blue_screen_paging_enabled(void);
+void blue_screen_set_paging(bool enabled);
+
 void blue_screen_clear_screen(void);
 char blue_screen_getchar(void);
 void blue_screen_putchar(char c);