From: Daniel Horak on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1144#note_5853...
@prudo1 - I have couple comments
- the Fedora config has been switched to CONFIG_TUNE_DEFAULT while it should
be CONFIG_TUNE_Z13 (to "match" the CONFIG_MARCH_ZEC12). But looking further
this change happened even before your MR. Lets fix it later (and move to
CONFIG_MARCH_Z13).
- could the `common/generic/s390x` directory contain the "not set" entries for
all MARCH/TUNE options and then let ark and fedora override only their
specific settings? Right now it's missing CONFIG_MARCH_ZEC12 and
CONFIG_MARCH_Z14, adding a slight inconsistency.