tree e60d0cd3b506d98003b053aec9663a59dede4e9f
parent 04e72cd896c416c499753518871d89ca30a2a7c3
author Jan Kundrát <jan.kundrat@cesnet.cz> 1493064489 +0200
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1493064740 +0200

Use custom GRUB2 config file on x86

We'll be overriding them for redundant boot later on. For now, just
let's rely on the default console and place it on tty0 for better QEMU
experience.

Change-Id: I987348484baa55d05b0881408ce8cb4d74c3c00c