diff --git a/frontend/drivers/platform_linux.c b/frontend/drivers/platform_linux.c
index d1f74d92a1..3b921ad32b 100644
--- a/frontend/drivers/platform_linux.c
+++ b/frontend/drivers/platform_linux.c
@@ -398,6 +398,14 @@ enum frontend_architecture frontend_linux_get_architecture(void)
       return FRONTEND_ARCH_X86_64;
    if (!strcmp(buffer.machine, "x86"))
       return FRONTEND_ARCH_X86;
+   if (!strcmp(buffer.machine, "arm"))
+      return FRONTEND_ARCH_ARM;
+   if (!strcmp(buffer.machine, "ppc64"))
+      return FRONTEND_ARCH_PPC;
+   if (!strcmp(buffer.machine, "mips"))
+      return FRONTEND_ARCH_MIPS;
+   if (!strcmp(buffer.machine, "tile"))
+      return FRONTEND_ARCH_TILE;
 
    return FRONTEND_ARCH_NONE;
 }
diff --git a/frontend/frontend_driver.h b/frontend/frontend_driver.h
index cce61caecc..df0ecef935 100644
--- a/frontend/frontend_driver.h
+++ b/frontend/frontend_driver.h
@@ -45,6 +45,7 @@ enum frontend_architecture
    FRONTEND_ARCH_PPC,
    FRONTEND_ARCH_ARM,
    FRONTEND_ARCH_MIPS,
+   FRONTEND_ARCH_TILE,
 };
 
 typedef void (*environment_get_t)(int *argc, char *argv[], void *args,