Hello alls, Due to fact that other kernels are become populate like BSD, and Debian is universal OS, So is it better to rename all Ports and mention the kernel use that inside like kfreebsd-amd64 or khurd-i386?
https://www.debian.org/ports/ Regards, Amir
