grub: badram
17.4.6 badram
-------------
-- Command: badram addr,mask[,addr,mask...]
Filter out bad RAM.
This command notifies the memory manager that specified regions of
RAM ought to be filtered out (usually, because they're damaged).
This remains in effect after a payload kernel has been loaded by
GRUB, as long as the loaded kernel obtains its memory map from
GRUB. Kernels that support this include Linux, GNU Mach, the
kernel of FreeBSD and Multiboot kernels in general.
Syntax is the same as provided by the Memtest86+ utility
(http://www.memtest.org/): a list of address/mask pairs. Given a
page-aligned address and a base address / mask pair, if all the
bits of the page-aligned address that are enabled by the mask match
with the base address, it means this page is to be filtered. This
syntax makes it easy to represent patterns that are often result of
memory damage, due to physical distribution of memory cells.
The command is similar to ‘cutmem’ command.
Note: The command is not allowed when lockdown is enforced (⇒
Lockdown). This prevents removing EFI memory regions to
potentially subvert the security mechanisms provided by the UEFI
secure boot.