1# -*- mode:python -*-
2
3# Copyright (c) 2009, 2012-2013 ARM Limited
4# All rights reserved.
5#
6# The license below extends only to copyright in the software and shall
7# not be construed as granting a license to any other intellectual
8# property including but not limited to intellectual property relating

--- 43 unchanged lines hidden (view full) ---

52 Source('a9scu.cc')
53 Source('amba_device.cc')
54 Source('amba_fake.cc')
55 Source('base_gic.cc')
56 Source('flash_device.cc')
57 Source('generic_timer.cc')
58 Source('gic_v2.cc')
59 Source('gic_v2m.cc')
60 Source('pl011.cc')
61 Source('pl111.cc')
62 Source('hdlcd.cc')
63 Source('kmi.cc')
64 Source('timer_sp804.cc')
65 Source('gpu_nomali.cc')
66 Source('pci_host.cc')
67 Source('rv_ctrl.cc')

--- 21 unchanged lines hidden ---