From cc7c15846363642b606436d1bbb997a3dcddddf2 Mon Sep 17 00:00:00 2001
From: Donald Buczek <buczek@molgen.mpg.de>
Date: Wed, 21 Jun 2017 12:26:11 +0200
Subject: [PATCH] mxgrub: Configure serial console for Linux

---
 mxgrub/mxgrub | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mxgrub/mxgrub b/mxgrub/mxgrub
index 9edbf6e..5c80f86 100755
--- a/mxgrub/mxgrub
+++ b/mxgrub/mxgrub
@@ -168,7 +168,7 @@ sub update_grub_cfg {
 
 	for my $label (@MARIUX) {
 		my $image=label_to_image($label);
-		$kernellist.="\tmenuentry \"$label\" --unrestricted { save_env chosen ; linux /boot/$image crashkernel=256M root=LABEL=root ro ; initrd /boot/grub/initramfs.igz }\n";
+		$kernellist.="\tmenuentry \"$label\" --unrestricted { save_env chosen ; linux /boot/$image crashkernel=256M root=LABEL=root ro console=ttyS1,115200n8 console=tty0 ; initrd /boot/grub/initramfs.igz }\n";
 	}
 
 	my $GRUB_CFG_NEW=<<"EOF";