Ivan Mikhailov - 2009-11-25

I'm afraid that the name is generated by a script that is part of OS distribution. I guess (but have not tested) that if your OS will identify itself as "GNU/Linux" (say, as the output of "uname") and you build the server yourself then the banner will contain the "GNU/Linux" as well.

If some Virtuoso plugin contains kernel-specific or distribution-specific parts then a longer name is placed to the banner and log, maybe as long as "2.6.27.25-170.2.72.fc10.x86_64 #1 SMP Sun Jun 21 18:39:34 EDT 2009 x86_64 x86_64 x86_64 GNU/Linux", but that's not common because it's next to useless --- you don't have to recompile your current version of Virtuoso if you upgrade a kernel or change the distro.