* tip-bot2 for Ralf Ramsauer <tip-b...@linutronix.de> wrote:
> The following commit has been merged into the x86/platform branch of tip: > > Commit-ID: dac59f1eb78123c3f0e497eb9870ac550c59debb > Gitweb: > https://git.kernel.org/tip/dac59f1eb78123c3f0e497eb9870ac550c59debb > Author: Ralf Ramsauer <ralf.ramsa...@oth-regensburg.de> > AuthorDate: Mon, 07 Oct 2019 14:38:19 +02:00 > Committer: Ingo Molnar <mi...@kernel.org> > CommitterDate: Mon, 07 Oct 2019 17:35:56 +02:00 > > x86/jailhouse: Enable platform UARTs only if available Never mind this commit notification - I pulled the two commits for the time being, until Boris's feedback is addressed. Thanks, Ingo