grub2 update breaks vga character framebuffer

[jklmnn]

193e14a breaks the type 2 VGA character buffer that was usually provided by NOVA on legacy boot.
This information was usually provided instead of the framebuffer information for the fb_boot_drv in the platform_info rom when not booting via UEFI but is missing since this commit.
Would there be any option to reenable this (at least with a flag)? I often need this framebuffer to provide a log session on platforms that have no other easy way of logging.

[alex-ab]

I did not expect that anybody is interested in vga text mode for Genode/NOVA. With 441d67a the text mode information gets propagated again. 1ae2e1c showcases how to switch. Does it suffice your use-case ?

[jklmnn]

These two commits fix the issue. From your comment I assume that only 441d67a will go upstream (which would be fine for me)?
I use a VGA LOG session for debugging that supports colors and scrolling (if you attach it to an Input session) up to 1024 lines.

[alex-ab]

Nice tool, good to know ! Yes, I would like just to get 441d67a merged.

[alex-ab]

And it is using Ada, very cool !

[nfeske]

The fix entered the master branch.