diff options
author | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-09-19 12:12:05 -0400 |
---|---|---|
committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-09-19 12:12:05 -0400 |
commit | f388e25538735535fd53675b1dc0fcc38f539051 (patch) | |
tree | 07a70b825ffcc61099e2e1ce8e51de177d56a70a | |
parent | 871ce14c8ac5add3ab5b2c509be6bf82c4ce6fb4 (diff) |
-rw-r--r-- | v4.1.3/litmus-kvm-x86_64-debug | 52 |
1 files changed, 11 insertions, 41 deletions
diff --git a/v4.1.3/litmus-kvm-x86_64-debug b/v4.1.3/litmus-kvm-x86_64-debug index 752d447..0f2e501 100644 --- a/v4.1.3/litmus-kvm-x86_64-debug +++ b/v4.1.3/litmus-kvm-x86_64-debug | |||
@@ -316,7 +316,7 @@ CONFIG_QUEUE_RWLOCK=y | |||
316 | CONFIG_ZONE_DMA=y | 316 | CONFIG_ZONE_DMA=y |
317 | CONFIG_SMP=y | 317 | CONFIG_SMP=y |
318 | CONFIG_X86_FEATURE_NAMES=y | 318 | CONFIG_X86_FEATURE_NAMES=y |
319 | # CONFIG_X86_MPPARSE is not set | 319 | CONFIG_X86_MPPARSE=y |
320 | # CONFIG_X86_EXTENDED_PLATFORM is not set | 320 | # CONFIG_X86_EXTENDED_PLATFORM is not set |
321 | # CONFIG_X86_INTEL_LPSS is not set | 321 | # CONFIG_X86_INTEL_LPSS is not set |
322 | # CONFIG_X86_AMD_PLATFORM_DEVICE is not set | 322 | # CONFIG_X86_AMD_PLATFORM_DEVICE is not set |
@@ -450,10 +450,10 @@ CONFIG_ACPI_SYSTEM_POWER_STATES_SUPPORT=y | |||
450 | # CONFIG_ACPI_PROCFS_POWER is not set | 450 | # CONFIG_ACPI_PROCFS_POWER is not set |
451 | # CONFIG_ACPI_EC_DEBUGFS is not set | 451 | # CONFIG_ACPI_EC_DEBUGFS is not set |
452 | CONFIG_ACPI_AC=y | 452 | CONFIG_ACPI_AC=y |
453 | # CONFIG_ACPI_BATTERY is not set | 453 | CONFIG_ACPI_BATTERY=y |
454 | CONFIG_ACPI_BUTTON=y | 454 | CONFIG_ACPI_BUTTON=y |
455 | CONFIG_ACPI_FAN=y | 455 | CONFIG_ACPI_FAN=y |
456 | CONFIG_ACPI_DOCK=y | 456 | # CONFIG_ACPI_DOCK is not set |
457 | CONFIG_ACPI_PROCESSOR=y | 457 | CONFIG_ACPI_PROCESSOR=y |
458 | # CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set | 458 | # CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set |
459 | CONFIG_ACPI_THERMAL=y | 459 | CONFIG_ACPI_THERMAL=y |
@@ -476,34 +476,7 @@ CONFIG_HAVE_ACPI_APEI_NMI=y | |||
476 | # | 476 | # |
477 | # CPU Frequency scaling | 477 | # CPU Frequency scaling |
478 | # | 478 | # |
479 | CONFIG_CPU_FREQ=y | 479 | # CONFIG_CPU_FREQ is not set |
480 | # CONFIG_CPU_FREQ_STAT is not set | ||
481 | CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y | ||
482 | # CONFIG_CPU_FREQ_DEFAULT_GOV_POWERSAVE is not set | ||
483 | # CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE is not set | ||
484 | # CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND is not set | ||
485 | # CONFIG_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE is not set | ||
486 | CONFIG_CPU_FREQ_GOV_PERFORMANCE=y | ||
487 | # CONFIG_CPU_FREQ_GOV_POWERSAVE is not set | ||
488 | # CONFIG_CPU_FREQ_GOV_USERSPACE is not set | ||
489 | # CONFIG_CPU_FREQ_GOV_ONDEMAND is not set | ||
490 | # CONFIG_CPU_FREQ_GOV_CONSERVATIVE is not set | ||
491 | |||
492 | # | ||
493 | # CPU frequency scaling drivers | ||
494 | # | ||
495 | # CONFIG_X86_INTEL_PSTATE is not set | ||
496 | # CONFIG_X86_PCC_CPUFREQ is not set | ||
497 | CONFIG_X86_ACPI_CPUFREQ=y | ||
498 | CONFIG_X86_ACPI_CPUFREQ_CPB=y | ||
499 | # CONFIG_X86_POWERNOW_K8 is not set | ||
500 | # CONFIG_X86_SPEEDSTEP_CENTRINO is not set | ||
501 | # CONFIG_X86_P4_CLOCKMOD is not set | ||
502 | |||
503 | # | ||
504 | # shared options | ||
505 | # | ||
506 | # CONFIG_X86_SPEEDSTEP_LIB is not set | ||
507 | 480 | ||
508 | # | 481 | # |
509 | # CPU Idle | 482 | # CPU Idle |
@@ -524,7 +497,7 @@ CONFIG_CPU_IDLE_GOV_MENU=y | |||
524 | # | 497 | # |
525 | CONFIG_PCI=y | 498 | CONFIG_PCI=y |
526 | CONFIG_PCI_DIRECT=y | 499 | CONFIG_PCI_DIRECT=y |
527 | CONFIG_PCI_MMCONFIG=y | 500 | # CONFIG_PCI_MMCONFIG is not set |
528 | CONFIG_PCI_DOMAINS=y | 501 | CONFIG_PCI_DOMAINS=y |
529 | # CONFIG_PCIEPORTBUS is not set | 502 | # CONFIG_PCIEPORTBUS is not set |
530 | CONFIG_PCI_BUS_ADDR_T_64BIT=y | 503 | CONFIG_PCI_BUS_ADDR_T_64BIT=y |
@@ -851,7 +824,7 @@ CONFIG_GENERIC_CPU_AUTOPROBE=y | |||
851 | CONFIG_ARCH_MIGHT_HAVE_PC_PARPORT=y | 824 | CONFIG_ARCH_MIGHT_HAVE_PC_PARPORT=y |
852 | # CONFIG_PARPORT is not set | 825 | # CONFIG_PARPORT is not set |
853 | CONFIG_PNP=y | 826 | CONFIG_PNP=y |
854 | # CONFIG_PNP_DEBUG_MESSAGES is not set | 827 | CONFIG_PNP_DEBUG_MESSAGES=y |
855 | 828 | ||
856 | # | 829 | # |
857 | # Protocols | 830 | # Protocols |
@@ -960,7 +933,7 @@ CONFIG_IDE_GD_ATA=y | |||
960 | CONFIG_BLK_DEV_IDECD=y | 933 | CONFIG_BLK_DEV_IDECD=y |
961 | CONFIG_BLK_DEV_IDECD_VERBOSE_ERRORS=y | 934 | CONFIG_BLK_DEV_IDECD_VERBOSE_ERRORS=y |
962 | # CONFIG_BLK_DEV_IDETAPE is not set | 935 | # CONFIG_BLK_DEV_IDETAPE is not set |
963 | CONFIG_BLK_DEV_IDEACPI=y | 936 | # CONFIG_BLK_DEV_IDEACPI is not set |
964 | # CONFIG_IDE_TASK_IOCTL is not set | 937 | # CONFIG_IDE_TASK_IOCTL is not set |
965 | CONFIG_IDE_PROC_FS=y | 938 | CONFIG_IDE_PROC_FS=y |
966 | 939 | ||
@@ -970,7 +943,7 @@ CONFIG_IDE_PROC_FS=y | |||
970 | CONFIG_IDE_GENERIC=y | 943 | CONFIG_IDE_GENERIC=y |
971 | # CONFIG_BLK_DEV_PLATFORM is not set | 944 | # CONFIG_BLK_DEV_PLATFORM is not set |
972 | # CONFIG_BLK_DEV_CMD640 is not set | 945 | # CONFIG_BLK_DEV_CMD640 is not set |
973 | CONFIG_BLK_DEV_IDEPNP=y | 946 | # CONFIG_BLK_DEV_IDEPNP is not set |
974 | CONFIG_BLK_DEV_IDEDMA_SFF=y | 947 | CONFIG_BLK_DEV_IDEDMA_SFF=y |
975 | 948 | ||
976 | # | 949 | # |
@@ -1524,9 +1497,7 @@ CONFIG_HW_RANDOM_AMD=y | |||
1524 | # CONFIG_APPLICOM is not set | 1497 | # CONFIG_APPLICOM is not set |
1525 | # CONFIG_MWAVE is not set | 1498 | # CONFIG_MWAVE is not set |
1526 | # CONFIG_RAW_DRIVER is not set | 1499 | # CONFIG_RAW_DRIVER is not set |
1527 | CONFIG_HPET=y | 1500 | # CONFIG_HPET is not set |
1528 | CONFIG_HPET_MMAP=y | ||
1529 | CONFIG_HPET_MMAP_DEFAULT=y | ||
1530 | CONFIG_HANGCHECK_TIMER=y | 1501 | CONFIG_HANGCHECK_TIMER=y |
1531 | # CONFIG_TCG_TPM is not set | 1502 | # CONFIG_TCG_TPM is not set |
1532 | # CONFIG_TELCLOCK is not set | 1503 | # CONFIG_TELCLOCK is not set |
@@ -2499,8 +2470,7 @@ CONFIG_X86_VERBOSE_BOOTUP=y | |||
2499 | CONFIG_EARLY_PRINTK=y | 2470 | CONFIG_EARLY_PRINTK=y |
2500 | # CONFIG_EARLY_PRINTK_DBGP is not set | 2471 | # CONFIG_EARLY_PRINTK_DBGP is not set |
2501 | # CONFIG_X86_PTDUMP is not set | 2472 | # CONFIG_X86_PTDUMP is not set |
2502 | CONFIG_DEBUG_RODATA=y | 2473 | # CONFIG_DEBUG_RODATA is not set |
2503 | CONFIG_DEBUG_RODATA_TEST=y | ||
2504 | # CONFIG_DEBUG_SET_MODULE_RONX is not set | 2474 | # CONFIG_DEBUG_SET_MODULE_RONX is not set |
2505 | # CONFIG_DEBUG_NX_TEST is not set | 2475 | # CONFIG_DEBUG_NX_TEST is not set |
2506 | CONFIG_DOUBLEFAULT=y | 2476 | CONFIG_DOUBLEFAULT=y |
@@ -2733,7 +2703,6 @@ CONFIG_FONT_8x8=y | |||
2733 | CONFIG_FONT_8x16=y | 2703 | CONFIG_FONT_8x16=y |
2734 | CONFIG_ARCH_HAS_SG_CHAIN=y | 2704 | CONFIG_ARCH_HAS_SG_CHAIN=y |
2735 | CONFIG_ARCH_HAS_FEATHER_TRACE=y | 2705 | CONFIG_ARCH_HAS_FEATHER_TRACE=y |
2736 | CONFIG_ARCH_HAS_SEND_PULL_TIMERS=y | ||
2737 | 2706 | ||
2738 | # | 2707 | # |
2739 | # LITMUS^RT | 2708 | # LITMUS^RT |
@@ -2777,3 +2746,4 @@ CONFIG_SCHED_DEBUG_TRACE=y | |||
2777 | CONFIG_SCHED_DEBUG_TRACE_SHIFT=20 | 2746 | CONFIG_SCHED_DEBUG_TRACE_SHIFT=20 |
2778 | CONFIG_SCHED_DEBUG_TRACE_CALLER=y | 2747 | CONFIG_SCHED_DEBUG_TRACE_CALLER=y |
2779 | # CONFIG_PREEMPT_STATE_TRACE is not set | 2748 | # CONFIG_PREEMPT_STATE_TRACE is not set |
2749 | # CONFIG_REPORT_TIMER_LATENCY is not set | ||