2010/5/29 Alan BRASLAU <alan.bras...@cea.fr>:
> The official 64bit OS name is "amd64" for FreeBSD, GNU/kFreeBSD and Linux.

The is no OS named Linux.

http://en.wikipedia.org/wiki/Amd64#Industry_naming_conventions

Best
   Martin
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : http://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Reply via email to