From: David Arcari on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1407#note_6882...
Hmm - I tried a local build without my changes and I see the same error:
Processing /home/darcari/git/kernel-ark/redhat/configs/kernel-
aarch64-rhel.config ... Error: Mismatches found in configuration files
Found # CONFIG_STRICT_DEVMEM is not set, after generation, had
CONFIG_STRICT_DEVMEM y in Source tree
make[1]: *** [Makefile:141: dist-configs-check] Error 1
make[1]: Leaving directory '/home/darcari/git/kernel-ark/redhat'
make: *** [makefile:12: dist-configs-check] Error 2