Project

General

Profile

Feature #8595 » job.json

Evgeny Novikov, 12/10/2017 03:51 PM

 
1
{
2
  "Linux kernel": {
3
    "source": "linux-3.14",
4
    "configuration": "allmodconfig",
5
    "architecture": "x86_64",
6
    "modules": [
7
      "drivers/tty/cyclades.ko"
8
    ]
9
  },
10
  "LKVOG strategy": {
11
    "name": "manual",
12
    "groups": {
13
      "drivers/tty/cyclades.ko": [
14
        [
15
          "drivers/tty/n_tty.o",
16
          "drivers/tty/pty.o",
17
          "drivers/tty/sysrq.o",
18
          "drivers/tty/tty_audit.o",
19
          "drivers/tty/tty_buffer.o",
20
          "drivers/tty/tty_io.o",
21
          "drivers/tty/tty_ioctl.o",
22
          "drivers/tty/tty_ldisc.o",
23
          "drivers/tty/tty_ldsem.o",
24
          "drivers/tty/tty_mutex.o",
25
          "drivers/tty/tty_port.o",
26
          "drivers/tty/cyclades.ko"
27
        ]
28
      ],
29
      "drivers/tty/ipwireless/ipwireless.ko": [
30
        [
31
          "drivers/tty/n_tty.o",
32
          "drivers/tty/pty.o",
33
          "drivers/tty/sysrq.o",
34
          "drivers/tty/tty_audit.o",
35
          "drivers/tty/tty_buffer.o",
36
          "drivers/tty/tty_io.o",
37
          "drivers/tty/tty_ioctl.o",
38
          "drivers/tty/tty_ldisc.o",
39
          "drivers/tty/tty_ldsem.o",
40
          "drivers/tty/tty_mutex.o",
41
          "drivers/tty/tty_port.o",
42
          "drivers/tty/ipwireless/ipwireless.ko"
43
        ]
44
      ],
45
      "drivers/tty/isicom.ko": [
46
        [
47
          "drivers/tty/n_tty.o",
48
          "drivers/tty/pty.o",
49
          "drivers/tty/sysrq.o",
50
          "drivers/tty/tty_audit.o",
51
          "drivers/tty/tty_buffer.o",
52
          "drivers/tty/tty_io.o",
53
          "drivers/tty/tty_ioctl.o",
54
          "drivers/tty/tty_ldisc.o",
55
          "drivers/tty/tty_ldsem.o",
56
          "drivers/tty/tty_mutex.o",
57
          "drivers/tty/tty_port.o",
58
          "drivers/tty/isicom.ko"
59
        ]
60
      ],
61
      "drivers/tty/moxa.ko": [
62
        [
63
          "drivers/tty/n_tty.o",
64
          "drivers/tty/pty.o",
65
          "drivers/tty/sysrq.o",
66
          "drivers/tty/tty_audit.o",
67
          "drivers/tty/tty_buffer.o",
68
          "drivers/tty/tty_io.o",
69
          "drivers/tty/tty_ioctl.o",
70
          "drivers/tty/tty_ldisc.o",
71
          "drivers/tty/tty_ldsem.o",
72
          "drivers/tty/tty_mutex.o",
73
          "drivers/tty/tty_port.o",
74
          "drivers/tty/moxa.ko"
75
        ]
76
      ],
77
      "drivers/tty/mxser.ko": [
78
        [
79
          "drivers/tty/n_tty.o",
80
          "drivers/tty/pty.o",
81
          "drivers/tty/sysrq.o",
82
          "drivers/tty/tty_audit.o",
83
          "drivers/tty/tty_buffer.o",
84
          "drivers/tty/tty_io.o",
85
          "drivers/tty/tty_ioctl.o",
86
          "drivers/tty/tty_ldisc.o",
87
          "drivers/tty/tty_ldsem.o",
88
          "drivers/tty/tty_mutex.o",
89
          "drivers/tty/tty_port.o",
90
          "drivers/tty/mxser.ko"
91
        ]
92
      ],
93
      "drivers/tty/n_gsm.ko": [
94
        [
95
          "drivers/tty/n_tty.o",
96
          "drivers/tty/pty.o",
97
          "drivers/tty/sysrq.o",
98
          "drivers/tty/tty_audit.o",
99
          "drivers/tty/tty_buffer.o",
100
          "drivers/tty/tty_io.o",
101
          "drivers/tty/tty_ioctl.o",
102
          "drivers/tty/tty_ldisc.o",
103
          "drivers/tty/tty_ldsem.o",
104
          "drivers/tty/tty_mutex.o",
105
          "drivers/tty/tty_port.o",
106
          "drivers/tty/n_gsm.ko"
107
        ]
108
      ],
109
      "drivers/tty/n_hdlc.ko": [
110
        [
111
          "drivers/tty/n_tty.o",
112
          "drivers/tty/pty.o",
113
          "drivers/tty/sysrq.o",
114
          "drivers/tty/tty_audit.o",
115
          "drivers/tty/tty_buffer.o",
116
          "drivers/tty/tty_io.o",
117
          "drivers/tty/tty_ioctl.o",
118
          "drivers/tty/tty_ldisc.o",
119
          "drivers/tty/tty_ldsem.o",
120
          "drivers/tty/tty_mutex.o",
121
          "drivers/tty/tty_port.o",
122
          "drivers/tty/n_hdlc.ko"
123
        ]
124
      ],
125
      "drivers/tty/n_r3964.ko": [
126
        [
127
          "drivers/tty/n_tty.o",
128
          "drivers/tty/pty.o",
129
          "drivers/tty/sysrq.o",
130
          "drivers/tty/tty_audit.o",
131
          "drivers/tty/tty_buffer.o",
132
          "drivers/tty/tty_io.o",
133
          "drivers/tty/tty_ioctl.o",
134
          "drivers/tty/tty_ldisc.o",
135
          "drivers/tty/tty_ldsem.o",
136
          "drivers/tty/tty_mutex.o",
137
          "drivers/tty/tty_port.o",
138
          "drivers/tty/n_r3964.ko"
139
        ]
140
      ],
141
      "drivers/tty/n_tracerouter.ko": [
142
        [
143
          "drivers/tty/n_tty.o",
144
          "drivers/tty/pty.o",
145
          "drivers/tty/sysrq.o",
146
          "drivers/tty/tty_audit.o",
147
          "drivers/tty/tty_buffer.o",
148
          "drivers/tty/tty_io.o",
149
          "drivers/tty/tty_ioctl.o",
150
          "drivers/tty/tty_ldisc.o",
151
          "drivers/tty/tty_ldsem.o",
152
          "drivers/tty/tty_mutex.o",
153
          "drivers/tty/tty_port.o",
154
          "drivers/tty/n_tracerouter.ko"
155
        ]
156
      ],
157
      "drivers/tty/n_tracesink.ko": [
158
        [
159
          "drivers/tty/n_tty.o",
160
          "drivers/tty/pty.o",
161
          "drivers/tty/sysrq.o",
162
          "drivers/tty/tty_audit.o",
163
          "drivers/tty/tty_buffer.o",
164
          "drivers/tty/tty_io.o",
165
          "drivers/tty/tty_ioctl.o",
166
          "drivers/tty/tty_ldisc.o",
167
          "drivers/tty/tty_ldsem.o",
168
          "drivers/tty/tty_mutex.o",
169
          "drivers/tty/tty_port.o",
170
          "drivers/tty/n_tracesink.ko"
171
        ]
172
      ],
173
      "drivers/tty/nozomi.ko": [
174
        [
175
          "drivers/tty/n_tty.o",
176
          "drivers/tty/pty.o",
177
          "drivers/tty/sysrq.o",
178
          "drivers/tty/tty_audit.o",
179
          "drivers/tty/tty_buffer.o",
180
          "drivers/tty/tty_io.o",
181
          "drivers/tty/tty_ioctl.o",
182
          "drivers/tty/tty_ldisc.o",
183
          "drivers/tty/tty_ldsem.o",
184
          "drivers/tty/tty_mutex.o",
185
          "drivers/tty/tty_port.o",
186
          "drivers/tty/nozomi.ko"
187
        ]
188
      ],
189
      "drivers/tty/rocket.ko": [
190
        [
191
          "drivers/tty/n_tty.o",
192
          "drivers/tty/pty.o",
193
          "drivers/tty/sysrq.o",
194
          "drivers/tty/tty_audit.o",
195
          "drivers/tty/tty_buffer.o",
196
          "drivers/tty/tty_io.o",
197
          "drivers/tty/tty_ioctl.o",
198
          "drivers/tty/tty_ldisc.o",
199
          "drivers/tty/tty_ldsem.o",
200
          "drivers/tty/tty_mutex.o",
201
          "drivers/tty/tty_port.o",
202
          "drivers/tty/rocket.ko"
203
        ]
204
      ],
205
      "drivers/tty/serial/8250/8250.ko": [
206
        [
207
          "drivers/tty/n_tty.o",
208
          "drivers/tty/pty.o",
209
          "drivers/tty/sysrq.o",
210
          "drivers/tty/tty_audit.o",
211
          "drivers/tty/tty_buffer.o",
212
          "drivers/tty/tty_io.o",
213
          "drivers/tty/tty_ioctl.o",
214
          "drivers/tty/tty_ldisc.o",
215
          "drivers/tty/tty_ldsem.o",
216
          "drivers/tty/tty_mutex.o",
217
          "drivers/tty/tty_port.o",
218
          "drivers/tty/serial/8250/8250.ko"
219
        ]
220
      ],
221
      "drivers/tty/serial/8250/8250_dw.ko": [
222
        [
223
          "drivers/tty/n_tty.o",
224
          "drivers/tty/pty.o",
225
          "drivers/tty/sysrq.o",
226
          "drivers/tty/tty_audit.o",
227
          "drivers/tty/tty_buffer.o",
228
          "drivers/tty/tty_io.o",
229
          "drivers/tty/tty_ioctl.o",
230
          "drivers/tty/tty_ldisc.o",
231
          "drivers/tty/tty_ldsem.o",
232
          "drivers/tty/tty_mutex.o",
233
          "drivers/tty/tty_port.o",
234
          "drivers/tty/serial/8250/8250_dw.ko"
235
        ]
236
      ],
237
      "drivers/tty/serial/8250/8250_pci.ko": [
238
        [
239
          "drivers/tty/n_tty.o",
240
          "drivers/tty/pty.o",
241
          "drivers/tty/sysrq.o",
242
          "drivers/tty/tty_audit.o",
243
          "drivers/tty/tty_buffer.o",
244
          "drivers/tty/tty_io.o",
245
          "drivers/tty/tty_ioctl.o",
246
          "drivers/tty/tty_ldisc.o",
247
          "drivers/tty/tty_ldsem.o",
248
          "drivers/tty/tty_mutex.o",
249
          "drivers/tty/tty_port.o",
250
          "drivers/tty/serial/8250/8250_pci.ko"
251
        ]
252
      ],
253
      "drivers/tty/serial/8250/serial_cs.ko": [
254
        [
255
          "drivers/tty/n_tty.o",
256
          "drivers/tty/pty.o",
257
          "drivers/tty/sysrq.o",
258
          "drivers/tty/tty_audit.o",
259
          "drivers/tty/tty_buffer.o",
260
          "drivers/tty/tty_io.o",
261
          "drivers/tty/tty_ioctl.o",
262
          "drivers/tty/tty_ldisc.o",
263
          "drivers/tty/tty_ldsem.o",
264
          "drivers/tty/tty_mutex.o",
265
          "drivers/tty/tty_port.o",
266
          "drivers/tty/serial/8250/serial_cs.ko"
267
        ]
268
      ],
269
      "drivers/tty/serial/altera_jtaguart.ko": [
270
        [
271
          "drivers/tty/n_tty.o",
272
          "drivers/tty/pty.o",
273
          "drivers/tty/sysrq.o",
274
          "drivers/tty/tty_audit.o",
275
          "drivers/tty/tty_buffer.o",
276
          "drivers/tty/tty_io.o",
277
          "drivers/tty/tty_ioctl.o",
278
          "drivers/tty/tty_ldisc.o",
279
          "drivers/tty/tty_ldsem.o",
280
          "drivers/tty/tty_mutex.o",
281
          "drivers/tty/tty_port.o",
282
          "drivers/tty/serial/altera_jtaguart.ko"
283
        ]
284
      ],
285
      "drivers/tty/serial/altera_uart.ko": [
286
        [
287
          "drivers/tty/n_tty.o",
288
          "drivers/tty/pty.o",
289
          "drivers/tty/sysrq.o",
290
          "drivers/tty/tty_audit.o",
291
          "drivers/tty/tty_buffer.o",
292
          "drivers/tty/tty_io.o",
293
          "drivers/tty/tty_ioctl.o",
294
          "drivers/tty/tty_ldisc.o",
295
          "drivers/tty/tty_ldsem.o",
296
          "drivers/tty/tty_mutex.o",
297
          "drivers/tty/tty_port.o",
298
          "drivers/tty/serial/altera_uart.ko"
299
        ]
300
      ],
301
      "drivers/tty/serial/arc_uart.ko": [
302
        [
303
          "drivers/tty/n_tty.o",
304
          "drivers/tty/pty.o",
305
          "drivers/tty/sysrq.o",
306
          "drivers/tty/tty_audit.o",
307
          "drivers/tty/tty_buffer.o",
308
          "drivers/tty/tty_io.o",
309
          "drivers/tty/tty_ioctl.o",
310
          "drivers/tty/tty_ldisc.o",
311
          "drivers/tty/tty_ldsem.o",
312
          "drivers/tty/tty_mutex.o",
313
          "drivers/tty/tty_port.o",
314
          "drivers/tty/serial/arc_uart.ko"
315
        ]
316
      ],
317
      "drivers/tty/serial/clps711x.ko": [
318
        [
319
          "drivers/tty/n_tty.o",
320
          "drivers/tty/pty.o",
321
          "drivers/tty/sysrq.o",
322
          "drivers/tty/tty_audit.o",
323
          "drivers/tty/tty_buffer.o",
324
          "drivers/tty/tty_io.o",
325
          "drivers/tty/tty_ioctl.o",
326
          "drivers/tty/tty_ldisc.o",
327
          "drivers/tty/tty_ldsem.o",
328
          "drivers/tty/tty_mutex.o",
329
          "drivers/tty/tty_port.o",
330
          "drivers/tty/serial/clps711x.ko"
331
        ]
332
      ],
333
      "drivers/tty/serial/fsl_lpuart.ko": [
334
        [
335
          "drivers/tty/n_tty.o",
336
          "drivers/tty/pty.o",
337
          "drivers/tty/sysrq.o",
338
          "drivers/tty/tty_audit.o",
339
          "drivers/tty/tty_buffer.o",
340
          "drivers/tty/tty_io.o",
341
          "drivers/tty/tty_ioctl.o",
342
          "drivers/tty/tty_ldisc.o",
343
          "drivers/tty/tty_ldsem.o",
344
          "drivers/tty/tty_mutex.o",
345
          "drivers/tty/tty_port.o",
346
          "drivers/tty/serial/fsl_lpuart.ko"
347
        ]
348
      ],
349
      "drivers/tty/serial/ifx6x60.ko": [
350
        [
351
          "drivers/tty/n_tty.o",
352
          "drivers/tty/pty.o",
353
          "drivers/tty/sysrq.o",
354
          "drivers/tty/tty_audit.o",
355
          "drivers/tty/tty_buffer.o",
356
          "drivers/tty/tty_io.o",
357
          "drivers/tty/tty_ioctl.o",
358
          "drivers/tty/tty_ldisc.o",
359
          "drivers/tty/tty_ldsem.o",
360
          "drivers/tty/tty_mutex.o",
361
          "drivers/tty/tty_port.o",
362
          "drivers/tty/serial/ifx6x60.ko"
363
        ]
364
      ],
365
      "drivers/tty/serial/jsm/jsm.ko": [
366
        [
367
          "drivers/tty/n_tty.o",
368
          "drivers/tty/pty.o",
369
          "drivers/tty/sysrq.o",
370
          "drivers/tty/tty_audit.o",
371
          "drivers/tty/tty_buffer.o",
372
          "drivers/tty/tty_io.o",
373
          "drivers/tty/tty_ioctl.o",
374
          "drivers/tty/tty_ldisc.o",
375
          "drivers/tty/tty_ldsem.o",
376
          "drivers/tty/tty_mutex.o",
377
          "drivers/tty/tty_port.o",
378
          "drivers/tty/serial/jsm/jsm.ko"
379
        ]
380
      ],
381
      "drivers/tty/serial/kgdboc.ko": [
382
        [
383
          "drivers/tty/n_tty.o",
384
          "drivers/tty/pty.o",
385
          "drivers/tty/sysrq.o",
386
          "drivers/tty/tty_audit.o",
387
          "drivers/tty/tty_buffer.o",
388
          "drivers/tty/tty_io.o",
389
          "drivers/tty/tty_ioctl.o",
390
          "drivers/tty/tty_ldisc.o",
391
          "drivers/tty/tty_ldsem.o",
392
          "drivers/tty/tty_mutex.o",
393
          "drivers/tty/tty_port.o",
394
          "drivers/tty/serial/kgdboc.ko"
395
        ]
396
      ],
397
      "drivers/tty/serial/max3100.ko": [
398
        [
399
          "drivers/tty/n_tty.o",
400
          "drivers/tty/pty.o",
401
          "drivers/tty/sysrq.o",
402
          "drivers/tty/tty_audit.o",
403
          "drivers/tty/tty_buffer.o",
404
          "drivers/tty/tty_io.o",
405
          "drivers/tty/tty_ioctl.o",
406
          "drivers/tty/tty_ldisc.o",
407
          "drivers/tty/tty_ldsem.o",
408
          "drivers/tty/tty_mutex.o",
409
          "drivers/tty/tty_port.o",
410
          "drivers/tty/serial/max3100.ko"
411
        ]
412
      ],
413
      "drivers/tty/serial/mfd.ko": [
414
        [
415
          "drivers/tty/n_tty.o",
416
          "drivers/tty/pty.o",
417
          "drivers/tty/sysrq.o",
418
          "drivers/tty/tty_audit.o",
419
          "drivers/tty/tty_buffer.o",
420
          "drivers/tty/tty_io.o",
421
          "drivers/tty/tty_ioctl.o",
422
          "drivers/tty/tty_ldisc.o",
423
          "drivers/tty/tty_ldsem.o",
424
          "drivers/tty/tty_mutex.o",
425
          "drivers/tty/tty_port.o",
426
          "drivers/tty/serial/mfd.ko"
427
        ]
428
      ],
429
      "drivers/tty/serial/mrst_max3110.ko": [
430
        [
431
          "drivers/tty/n_tty.o",
432
          "drivers/tty/pty.o",
433
          "drivers/tty/sysrq.o",
434
          "drivers/tty/tty_audit.o",
435
          "drivers/tty/tty_buffer.o",
436
          "drivers/tty/tty_io.o",
437
          "drivers/tty/tty_ioctl.o",
438
          "drivers/tty/tty_ldisc.o",
439
          "drivers/tty/tty_ldsem.o",
440
          "drivers/tty/tty_mutex.o",
441
          "drivers/tty/tty_port.o",
442
          "drivers/tty/serial/mrst_max3110.ko"
443
        ]
444
      ],
445
      "drivers/tty/serial/pch_uart.ko": [
446
        [
447
          "drivers/tty/n_tty.o",
448
          "drivers/tty/pty.o",
449
          "drivers/tty/sysrq.o",
450
          "drivers/tty/tty_audit.o",
451
          "drivers/tty/tty_buffer.o",
452
          "drivers/tty/tty_io.o",
453
          "drivers/tty/tty_ioctl.o",
454
          "drivers/tty/tty_ldisc.o",
455
          "drivers/tty/tty_ldsem.o",
456
          "drivers/tty/tty_mutex.o",
457
          "drivers/tty/tty_port.o",
458
          "drivers/tty/serial/pch_uart.ko"
459
        ]
460
      ],
461
      "drivers/tty/serial/rp2.ko": [
462
        [
463
          "drivers/tty/n_tty.o",
464
          "drivers/tty/pty.o",
465
          "drivers/tty/sysrq.o",
466
          "drivers/tty/tty_audit.o",
467
          "drivers/tty/tty_buffer.o",
468
          "drivers/tty/tty_io.o",
469
          "drivers/tty/tty_ioctl.o",
470
          "drivers/tty/tty_ldisc.o",
471
          "drivers/tty/tty_ldsem.o",
472
          "drivers/tty/tty_mutex.o",
473
          "drivers/tty/tty_port.o",
474
          "drivers/tty/serial/rp2.ko"
475
        ]
476
      ],
477
      "drivers/tty/serial/sccnxp.ko": [
478
        [
479
          "drivers/tty/n_tty.o",
480
          "drivers/tty/pty.o",
481
          "drivers/tty/sysrq.o",
482
          "drivers/tty/tty_audit.o",
483
          "drivers/tty/tty_buffer.o",
484
          "drivers/tty/tty_io.o",
485
          "drivers/tty/tty_ioctl.o",
486
          "drivers/tty/tty_ldisc.o",
487
          "drivers/tty/tty_ldsem.o",
488
          "drivers/tty/tty_mutex.o",
489
          "drivers/tty/tty_port.o",
490
          "drivers/tty/serial/sccnxp.ko"
491
        ]
492
      ],
493
      "drivers/tty/serial/serial_core.ko": [
494
        [
495
          "drivers/tty/n_tty.o",
496
          "drivers/tty/pty.o",
497
          "drivers/tty/sysrq.o",
498
          "drivers/tty/tty_audit.o",
499
          "drivers/tty/tty_buffer.o",
500
          "drivers/tty/tty_io.o",
501
          "drivers/tty/tty_ioctl.o",
502
          "drivers/tty/tty_ldisc.o",
503
          "drivers/tty/tty_ldsem.o",
504
          "drivers/tty/tty_mutex.o",
505
          "drivers/tty/tty_port.o",
506
          "drivers/tty/serial/serial_core.ko"
507
        ]
508
      ],
509
      "drivers/tty/serial/sh-sci.ko": [
510
        [
511
          "drivers/tty/n_tty.o",
512
          "drivers/tty/pty.o",
513
          "drivers/tty/sysrq.o",
514
          "drivers/tty/tty_audit.o",
515
          "drivers/tty/tty_buffer.o",
516
          "drivers/tty/tty_io.o",
517
          "drivers/tty/tty_ioctl.o",
518
          "drivers/tty/tty_ldisc.o",
519
          "drivers/tty/tty_ldsem.o",
520
          "drivers/tty/tty_mutex.o",
521
          "drivers/tty/tty_port.o",
522
          "drivers/tty/serial/sh-sci.ko"
523
        ]
524
      ],
525
      "drivers/tty/serial/st-asc.ko": [
526
        [
527
          "drivers/tty/n_tty.o",
528
          "drivers/tty/pty.o",
529
          "drivers/tty/sysrq.o",
530
          "drivers/tty/tty_audit.o",
531
          "drivers/tty/tty_buffer.o",
532
          "drivers/tty/tty_io.o",
533
          "drivers/tty/tty_ioctl.o",
534
          "drivers/tty/tty_ldisc.o",
535
          "drivers/tty/tty_ldsem.o",
536
          "drivers/tty/tty_mutex.o",
537
          "drivers/tty/tty_port.o",
538
          "drivers/tty/serial/st-asc.ko"
539
        ]
540
      ],
541
      "drivers/tty/serial/timbuart.ko": [
542
        [
543
          "drivers/tty/n_tty.o",
544
          "drivers/tty/pty.o",
545
          "drivers/tty/sysrq.o",
546
          "drivers/tty/tty_audit.o",
547
          "drivers/tty/tty_buffer.o",
548
          "drivers/tty/tty_io.o",
549
          "drivers/tty/tty_ioctl.o",
550
          "drivers/tty/tty_ldisc.o",
551
          "drivers/tty/tty_ldsem.o",
552
          "drivers/tty/tty_mutex.o",
553
          "drivers/tty/tty_port.o",
554
          "drivers/tty/serial/timbuart.ko"
555
        ]
556
      ],
557
      "drivers/tty/serial/uartlite.ko": [
558
        [
559
          "drivers/tty/n_tty.o",
560
          "drivers/tty/pty.o",
561
          "drivers/tty/sysrq.o",
562
          "drivers/tty/tty_audit.o",
563
          "drivers/tty/tty_buffer.o",
564
          "drivers/tty/tty_io.o",
565
          "drivers/tty/tty_ioctl.o",
566
          "drivers/tty/tty_ldisc.o",
567
          "drivers/tty/tty_ldsem.o",
568
          "drivers/tty/tty_mutex.o",
569
          "drivers/tty/tty_port.o",
570
          "drivers/tty/serial/uartlite.ko"
571
        ]
572
      ],
573
      "drivers/tty/synclink.ko": [
574
        [
575
          "drivers/tty/n_tty.o",
576
          "drivers/tty/pty.o",
577
          "drivers/tty/sysrq.o",
578
          "drivers/tty/tty_audit.o",
579
          "drivers/tty/tty_buffer.o",
580
          "drivers/tty/tty_io.o",
581
          "drivers/tty/tty_ioctl.o",
582
          "drivers/tty/tty_ldisc.o",
583
          "drivers/tty/tty_ldsem.o",
584
          "drivers/tty/tty_mutex.o",
585
          "drivers/tty/tty_port.o",
586
          "drivers/tty/synclink.ko"
587
        ]
588
      ],
589
      "drivers/tty/synclink_gt.ko": [
590
        [
591
          "drivers/tty/n_tty.o",
592
          "drivers/tty/pty.o",
593
          "drivers/tty/sysrq.o",
594
          "drivers/tty/tty_audit.o",
595
          "drivers/tty/tty_buffer.o",
596
          "drivers/tty/tty_io.o",
597
          "drivers/tty/tty_ioctl.o",
598
          "drivers/tty/tty_ldisc.o",
599
          "drivers/tty/tty_ldsem.o",
600
          "drivers/tty/tty_mutex.o",
601
          "drivers/tty/tty_port.o",
602
          "drivers/tty/synclink_gt.ko"
603
        ]
604
      ],
605
      "drivers/tty/synclinkmp.ko": [
606
        [
607
          "drivers/tty/n_tty.o",
608
          "drivers/tty/pty.o",
609
          "drivers/tty/sysrq.o",
610
          "drivers/tty/tty_audit.o",
611
          "drivers/tty/tty_buffer.o",
612
          "drivers/tty/tty_io.o",
613
          "drivers/tty/tty_ioctl.o",
614
          "drivers/tty/tty_ldisc.o",
615
          "drivers/tty/tty_ldsem.o",
616
          "drivers/tty/tty_mutex.o",
617
          "drivers/tty/tty_port.o",
618
          "drivers/tty/synclinkmp.ko"
619
        ]
620
      ]
621
    }
622
  },
623
  "maximum verification object size": 30000,
624
  "rule specifications DB": "rule specs.json",
625
  "verifier profiles DB": "verifier profiles.json",
626
  "specifications set": "Linux 3.14 (base)",
627
  "rule specifications": [
628
    "sync:race"
629
  ],
630
  "EMG instances": "cyclades.json"
631
}
(2-2/3)