On Thu, 3 Apr 2025, [email protected] wrote: > From: Denis Mukhin <[email protected]> > > guest_console_write() duplicates the code from __putstr(), eliminate code > duplication. > > Introduce console_puts() for writing a buffer to console devices. > > Also, introduce internal console flags to control which console devices > should be used. > > Signed-off-by: Denis Mukhin <[email protected]>
Reviewed-by: Stefano Stabellini <[email protected]>
