From mboxrd@z Thu Jan  1 00:00:00 1970
From: myglc2 <myglc2@gmail.com>
Subject: How do I make GuixSD boot screens appear on TTY?
Date: Sat, 28 Jan 2017 10:44:54 -0500
Message-ID: <86ziib6vex.fsf@gmail.com>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:36725)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <myglc2@gmail.com>) id 1cXVBW-0001y8-7C
	for help-guix@gnu.org; Sat, 28 Jan 2017 10:45:03 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <myglc2@gmail.com>) id 1cXVBT-0008VT-4P
	for help-guix@gnu.org; Sat, 28 Jan 2017 10:45:02 -0500
Received: from mail-wm0-x231.google.com ([2a00:1450:400c:c09::231]:38600)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <myglc2@gmail.com>) id 1cXVBS-0008VH-Uv
	for help-guix@gnu.org; Sat, 28 Jan 2017 10:44:59 -0500
Received: by mail-wm0-x231.google.com with SMTP id r126so24770159wmr.1
	for <help-guix@gnu.org>; Sat, 28 Jan 2017 07:44:58 -0800 (PST)
Received: from g1 (c-73-167-118-254.hsd1.ma.comcast.net. [73.167.118.254])
	by smtp.gmail.com with ESMTPSA id
	w70sm13362802wrc.47.2017.01.28.07.44.56 for <help-guix@gnu.org>
	(version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256);
	Sat, 28 Jan 2017 07:44:56 -0800 (PST)
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/help-guix/>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
To: help-guix@gnu.org

I am remotely managing headless GuixSD servers using IPMI Serial over
LAN (SOL). The BIOS, linux messages, and REPL work great.

I also see ...

GRUB loading.
Welcome to GRUB!

... but I don't see the GuixSD boot menu ;-(

Is there a way to make GuixSD boot screens appear on TTY?

TIA - George