With Fedora CoreOS upstream on kernel 6.14.3, uCore removed its Fedora 41 pin and began building on Fedora 42.

This followed the April 30 decision to delay the transition.