diff options
author | Maximilian Brune <maximilian.brune@9elements.com> | 2024-08-15 23:08:33 +0200 |
---|---|---|
committer | Martin L Roth <gaumless@gmail.com> | 2024-10-07 20:20:43 +0000 |
commit | b6974ab13deccb89d8fa749a37ad97fc951eddc8 (patch) | |
tree | 9a7141c53db5e55a46c1715263684a3eaaf77229 /src/mainboard/google/rex/chromeos4es.fmd | |
parent | 53b7c0217098a73a1f6da848743674738354827d (diff) |
arch/x86: Remove CONFIG_DEBUG_NULL_DEREF_HALT
For more than 2 years the option has been unconfigurable.
Since no one seems to have fixed that, the options seems to be
not needed by anyone. So instead of making it configurable now,
we can just as well remove it.
Change-Id: I4055d497c7c23e148d2a09f216c7b910a9b3ea9b
Signed-off-by: Maximilian Brune <maximilian.brune@9elements.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/83934
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin L Roth <gaumless@gmail.com>
Diffstat (limited to 'src/mainboard/google/rex/chromeos4es.fmd')
0 files changed, 0 insertions, 0 deletions