coreutils/coreutils-sysinfo.patch

---
 src/uname.c |   42 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)

Index: src/uname.c
===================================================================
--- src/uname.c.orig	2014-01-03 18:18:24.316911250 +0100
+++ src/uname.c	2014-01-03 19:47:21.922284919 +0100
@@ -337,6 +337,36 @@ main (int argc, char **argv)
 # endif
         }
 #endif
+      if (element == unknown)
+        {
+	  struct utsname name;
+	  static char processor[sizeof (name.machine)];
+	  if (uname (&name) != 0)
+	    error (EXIT_FAILURE, errno, _("cannot get system name"));
+	  strcpy (processor, name.machine);
+	  element = processor;
+#ifdef __linux__
+	  if (!strcmp (element, "i686"))
+	    {
+	      /* Check for Athlon */
+	      char line[1024];
+	      FILE *f = fopen ("/proc/cpuinfo", "r");
+	      if (f)
+	        {
+		  while (fgets (line, sizeof (line), f) > 0)
+		    {
+		      if (strncmp (line, "vendor_id", 9) == 0)
+		        {
+			  if (strstr (line, "AuthenticAMD"))
+			    element = "athlon";
+			  break;
+			}
+		    }
+		  fclose (f);
+		}
+	    }
+#endif
+	}
       if (! (toprint == UINT_MAX && element == unknown))
         print_element (element);
     }
@@ -362,6 +392,18 @@ main (int argc, char **argv)
             element = hardware_platform;
         }
 #endif
+      if (element == unknown)
+	{
+	  struct utsname name;
+	  static char hardware_platform[sizeof (name.machine)];
+	  if (uname (&name) != 0)
+	    error (EXIT_FAILURE, errno, _("cannot get system name"));
+	  strcpy (hardware_platform, name.machine);
+	  if (hardware_platform[0] == 'i' && hardware_platform[2] == '8'
+	      && hardware_platform[3] == '6' && hardware_platform[4] == 0)
+	    hardware_platform[1] = '3';
+	  element = hardware_platform;
+	}
       if (! (toprint == UINT_MAX && element == unknown))
         print_element (element);
     }