From 1c25730c5c0cd7c5e72a9a702cbac0db7cc2821a Mon Sep 17 00:00:00 2001 From: Jean-Baptiste Boric Date: Thu, 12 Nov 2015 17:08:12 +0100 Subject: [PATCH] tty: add no_vga option This is mainly for UEFI systems without a VGA-compatible video card. --- minix/drivers/tty/tty/tty.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/minix/drivers/tty/tty/tty.c b/minix/drivers/tty/tty/tty.c index dc37c48a3..d04175b94 100644 --- a/minix/drivers/tty/tty/tty.c +++ b/minix/drivers/tty/tty/tty.c @@ -1538,8 +1538,10 @@ static void tty_init() register tty_t *tp; int s; + long disable_vga; system_hz = sys_hz(); + env_parse("no_vga", "d", 0, &disable_vga, 0, 1); /* Initialize the terminal lines. */ memset(tty_table, '\0' , sizeof(tty_table)); @@ -1555,7 +1557,7 @@ static void tty_init() tp->tty_termios = termios_defaults; tp->tty_icancel = tp->tty_ocancel = tp->tty_ioctl = tp->tty_close = tp->tty_open = tty_devnop; - if (tp < tty_addr(NR_CONS)) { + if (tp < tty_addr(NR_CONS) && disable_vga != 1) { scr_init(tp); /* Initialize the keyboard driver. */