From e093cb8e75acb6950a89d45c3fcd583b0c8fba2e Mon Sep 17 00:00:00 2001
From: Renato Botelho <renato@netgate.com>
Date: Tue, 27 Sep 2016 09:09:27 -0300
Subject: [PATCH] Show system platform and serial / UUID

---
 .../widgets/system_information.widget.php        | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/src/usr/local/www/widgets/widgets/system_information.widget.php b/src/usr/local/www/widgets/widgets/system_information.widget.php
index 6520d099f7..04d981f1a4 100644
--- a/src/usr/local/www/widgets/widgets/system_information.widget.php
+++ b/src/usr/local/www/widgets/widgets/system_information.widget.php
@@ -27,6 +27,7 @@
 require_once("functions.inc");
 require_once("guiconfig.inc");
 require_once('notices.inc');
+require_once('system.inc');
 include_once("includes/functions.inc.php");
 
 if ($_REQUEST['getupdatestatus']) {
@@ -92,6 +93,21 @@ $filesystems = get_mounted_filesystems();
 			<th><?=gettext("Name");?></th>
 			<td><?php echo htmlspecialchars($config['system']['hostname'] . "." . $config['system']['domain']); ?></td>
 		</tr>
+		<tr>
+			<th><?=gettext("System");?></th>
+			<td>
+			<?php
+				$platform = system_identify_specific_platform();
+				if (isset($platform['descr'])) {
+					echo $platform['descr'];
+				} else {
+					echo gettext('Unknown system');
+				}
+			?>
+			<br />
+			<?=gettext("Serial: ") . system_get_serial();?>
+			</td>
+		</tr>
 		<tr>
 			<th><?=gettext("Version");?></th>
 			<td>