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

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

62 Source('kmi.cc')
63 Source('timer_sp804.cc')
64 Source('gpu_nomali.cc')
65 Source('pci_host.cc')
66 Source('rv_ctrl.cc')
67 Source('realview.cc')
68 Source('rtc_pl031.cc')
69 Source('timer_cpulocal.cc')
70 Source('vgic.cc')
71 Source('ufs_device.cc')
72 Source('energy_ctrl.cc')
73
74 DebugFlag('AMBA')
75 DebugFlag('FlashDevice')
76 DebugFlag('HDLcd')
77 DebugFlag('PL111')
78 DebugFlag('GICV2M')
79 DebugFlag('Pl050')
80 DebugFlag('GIC')
81 DebugFlag('RVCTRL')
82 DebugFlag('EnergyCtrl')
83 DebugFlag('UFSHostDevice')
84 DebugFlag('VGIC')
85 DebugFlag('NoMali')