I’m trying to run a Debian image on HiFive Unleashed. I want to get the latest workflow for building a debian image. I want to know where are the debian kernel sources hosted for this board. I have came across a few links:
SiFive only directly supports OpenEmbedded via freedom-u-sdk. The Fedora group is maintaining images that can boot on the HiFive Unleashed. The Debian group is unfortunately not maintaining images for the HiFive Unleashed.
You can use old freedom-u-sdk images with Debian support, and then apt dist-upgrade or whatever to get to a more recent debian rootfs. Though this leaves you with old bootloader and kernel. You apparently already have info on how to do that.