On Mon, May 6, 2019 at 3:51 PM Chris Murphy lists@colorremedies.com wrote:
GRUB pre-boot environment can read grubenv from anything GRUB supports reading, which is practically anything including mdadm RAID. Your grubenv can be read, it just can be changed by GRUB in the pre-boot
^can't
!!