From: Daniel Horak on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1144#note_585721963 Fedora can move to z13 as it's the lowest hardware in the infrastructure, which can't be easily changed. But for the change from the current zEC12 to z13 we should follow the processes (a formal Change, touches multiple packages). Thus I would leave changing the Fedora options for a later time. For the correct use of the common/ark/fedora dirs I leave it on the kernel maintainers :-) _______________________________________________ kernel mailing list -- kernel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to kernel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/kernel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
