increasing boot timeout for the big ARM machine

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

diff --git a/tools/harness/machines/eth_machinedata.py b/tools/harness/machines/eth_machinedata.py
index 0eb9cf6..3ae4ae9 100644 (file)
--- a/tools/harness/machines/eth_machinedata.py
+++ b/tools/harness/machines/eth_machinedata.py
@@ -425,7 +425,7 @@ machines = dict({
                      'cores_per_socket': 48,
                      'perfcount_type': 'arm',
                      'tickrate'    : 1950,
-                     'boot_timeout': 360,
+                     'boot_timeout': 720,
                      'platform': 'cn88xx',
                      'serial_binary': 'serial_kernel',
                      'boot_driver' : 'boot_armv8_generic'},