1c1
< # Copyright (c) 2016-2017 ARM Limited
---
> # Copyright (c) 2016-2017, 2019 ARM Limited
190c190
< def __init__(self, caches, mem_size, **kwargs):
---
> def __init__(self, caches, mem_size, platform=None, **kwargs):
197c197,200
< self.realview = VExpress_GEM5_V1()
---
> if platform is None:
> self.realview = VExpress_GEM5_V1()
> else:
> self.realview = platform