diff options
| -rw-r--r-- | etc/inc/system.inc | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/etc/inc/system.inc b/etc/inc/system.inc index 3b0a8bb..bdd65a6 100644 --- a/etc/inc/system.inc +++ b/etc/inc/system.inc @@ -2066,7 +2066,14 @@ function system_identify_specific_platform() { if (preg_match("/Soekris net55../", $dmesg, $matches)) return array('name' => 'net55xx', 'descr' => $matches[0]); - + + unset($dmesg); + + $dmesg_boot = system_get_dmesg_boot(); + if (strpos($dmesg_boot, "PC Engines ALIX") !== false) + return array('name' => 'alix', 'descr' => gettext('PC Engines ALIX')); + unset($dmesg_boot); + /* unknown embedded platform */ return array('name' => 'embedded', 'descr' => gettext('embedded (unknown)')); } |
