Assertion: dump's memory | /r/HasProperty | reserved
Facets:
value: during system boot
type: TEMPORAL
value: always
type: DEGREE
Source sentences:
text: Memory reserved for the kdump kernel is always reserved during system boot, which means that the amount of memory is specified in the system’s boot loader configuration.
text: The installer screen is titled Kdump and is available from the main Installation Summary screen, and only allows limited configuration - you can only select whether kdump is enabled and how much memory is reserved.