#1

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.

This is a companion discussion topic for the original entry at https://copr.fedorainfracloud.org/coprs/dwrobel/kernel-rpi/
#2

How to install these packages on Fedora IoT edition

This is currently not convenient. You must manually download the kernel, kernel-core and kernel-modules packages, then install them with:

rpm-ostree override replace kernel-*.rpm

Later, you must manually apply updates in the same way.

#3

I’m not quite sure that IoT flavour will work with downstream kernel without any changes as downstream kernel is configured by default to run without GRUB or UEFI loader. Alternatively you may look at Overview - fedora-kickstarts - Pagure.io and try to add support for IoT in order to generate the IoT image. So, far I was using those kickstart files only for generating Server and Workstation images.