Re: Rename amd64 to klinux-amd64

On Wed, May 11, 2016 at 05:04:06AM -0700, Amir H. Firouzian wrote:
> 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/

i386 was't renamed when it stopped even supporting i386 and moved to
i486 and later i586.

Too many things already know the port name and depend on it.

I think historical precedence says that Debian is linux unless it says
otherwise in the port name.  linux is implied.