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 -- [email protected] To unsubscribe send an email to [email protected] 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/[email protected] Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
