Hi, since kernel.org is down udev (173) can't be fetched, do you know a mirror that can be used? I've tried one that i found googling around but i think it's not updated and i get build errors. Thanks, Enrico