From ce40a4f57dab816e9e8b02df29682ce8e8579869 Mon Sep 17 00:00:00 2001
From: Max Wash <mbswash@gmail.com>
Date: Sat, 8 Jul 2023 15:54:29 +0100
Subject: [PATCH] kexts: fbcon: use ttyFBX name format for tty devices

---
 kexts/drivers/tty/fbcon/main.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/kexts/drivers/tty/fbcon/main.c b/kexts/drivers/tty/fbcon/main.c
index 9646980..1b56b05 100644
--- a/kexts/drivers/tty/fbcon/main.c
+++ b/kexts/drivers/tty/fbcon/main.c
@@ -67,6 +67,9 @@ kern_status_t start_console_on_framebuffer(struct device *fb)
 
 	struct device *tty = tty_device_create();
 
+	/* TODO actual IDs for FB tty devices */
+	snprintf(tty->dev_name, sizeof tty->dev_name, "ttyFB0");
+
 	kern_status_t status;
 	if (fb_mode.fb_flags & FB_MODE_VGATEXT) {
 		status = init_vgacon_console(tty, fb);