jc devillers - 2021-07-05

Hi, everybody!

First, please forgive me : I am aware that the subject matter is not strictly related to refind..

Symptoms : upon a cold boot (system startup), everything works as expected. Keyboard, mouse, theme.

Upon a warm boot (reboot) : nothing displayed. Black screen. Even the bios splash page isn't painted.
Unless I blindly select another OS to boot from, refind will launch the latest one, just as expected.

My OSes : different flavors of linux. Nothing else.

The display is not properly initialized upon a warm boot and I cannot fathom why or what the remedy could be?

Any hint would be greatly appreciated!!

Good day to you all!