Kernel headers for FCOS kernel 5.6.19-300.fc32.x86_64?


I try to build the NVIDIA CUDA drivers for Fedora CoreOS (FCOS) 32.20200629

It uses Kernel 5.6.19-300.fc32.x86_64

Where can I find the kernel headers so I can compile the driver for this kernel version ?

Thanks a lot and greetings,



I try to compile a kernel module for FCOS 32.20200629 and can’t find a proper kernel-devel package for the kernel version 5.6.19-300.fc32 used there.

Shouldn’t they be saved anywhere ?

Thanks and greetings,


Following link has everything about kernel 5.6.19 including links to the build of kernel-devel:

the mismatch of kernel-devel and kernel-headers has been discussed a few times already, last one here:

1 Like

See kernel-5.6.19-300.fc32 | Build Info | koji

it has links to the sources as well as links for downloading the builds. The build is tagged with coreos-pool