platform: adding default big core for ARM platforms.

Since for specific platforms (Juno/TC2) we know what the big core is, we
can set the big_core default so it doesn't have to be specified by the
user. Also remove validation prior to being updated from target and
setting little_core based on the value of big_core rather than by
indexing into core_names.

devlib/platform/__init__.py

@@ -25,7 +25,6 @@ class Platform(object):
         self.logger = logging.getLogger(self.name)
         if not self.core_clusters and self.core_names:
             self._set_core_clusters_from_core_names()
-        self._validate()
 
     def init_target_connection(self, target):
         # May be ovewritten by subclasses to provide target-specific
@@ -76,6 +75,8 @@ class Platform(object):
             raise ValueError(message.format(self.big_core,
                                             ', '.join(set(self.core_names))))
         if self.big_core:
-            little_idx = self.core_clusters.index(min(self.core_clusters))
+            for core in self.core_names:
-            self.little_core = self.core_names[little_idx]
+                if core != self.big_core:
+                    self.little_core = core
+                    break
 

devlib/platform/arm.py

@@ -174,6 +174,7 @@ class Juno(VersatileExpressPlatform):
                  baudrate=115200,
                  bootloader='u-boot',
                  hard_reset_method='dtr',
+                 big_core='a57',
                  **kwargs
                  ):
         super(Juno, self).__init__('juno',
@@ -181,6 +182,7 @@ class Juno(VersatileExpressPlatform):
                                    baudrate=baudrate,
                                    bootloader=bootloader,
                                    hard_reset_method=hard_reset_method,
+                                   big_core='a57',
                                    **kwargs)
 
 
@@ -191,6 +193,7 @@ class TC2(VersatileExpressPlatform):
                  baudrate=38400,
                  bootloader='bootmon',
                  hard_reset_method='reboottxt',
+                 big_core='a15',
                  **kwargs
                  ):
         super(TC2, self).__init__('tc2',
@@ -198,6 +201,7 @@ class TC2(VersatileExpressPlatform):
                                   baudrate=baudrate,
                                   bootloader=bootloader,
                                   hard_reset_method=hard_reset_method,
+                                  big_core='a15',
                                   **kwargs)