Lines Matching refs:kernel_vexpress_gem5_dir
145 kernel_vexpress_gem5_dir = options.dest_dir + "/linux-kernel-vexpress_gem5"
149 kernel_vexpress_gem5_dir])
152 kernel_vexpress_gem5_dir,
157 kernel_vexpress_gem5_dir,
161 kernel_vexpress_gem5_dir,
164 kernel_vexpress_gem5_dir,
167 kernel_vexpress_gem5_dir,
170 kernel_vexpress_gem5_dir,
174 kernel_vexpress_gem5_dir,
177 kernel_vexpress_gem5_dir,