On 23 February 2018 at 19:28, Jason A. Donenfeld <Jason@xxxxxxxxx> wrote: > I don't know what the best solution is precisely -- whether its > installing Luc or rearranging things in some other way -- but it seems > like something needs to change to get things moving. Hi, Just out of interest - how do you use Sparse currently and are there specific patches you need? Regards Dibyendu -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html