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:
But first one uses old git repository of Freedom-U-SDK and second one is NVIDIA demo image that is Debian based and also more than an year old.
Any pointer for latest Debian sources (with added support for Unleashed board) that can be built will be useful.