[PATCH] serial: name the semihosting console

[Sascha Hauer]

On Tue, 25 Aug 2026 10:53:37 +0200, Ahmad Fatoum wrote:
> This makes it easier to reference it without having to look at the
> device/driver behind it.
> 
> 

Applied, thanks!

[1/1] serial: name the semihosting console
      https://git.pengutronix.de/cgit/barebox/commit/?id=60d8868a242e (link may not be stable)

Best regards,
-- 
Sascha Hauer <s.hauer at pengutronix.de>