diff options
author | Justin M. Forbes <jforbes@redhat.com> | 2016-12-19 15:11:15 -0600 |
---|---|---|
committer | Justin M. Forbes <jforbes@redhat.com> | 2016-12-19 15:11:15 -0600 |
commit | ad2e73028bb2d084346b2c1f9c4c451b1ae43d04 (patch) | |
tree | 12dfaf830aba52c7d6b142106be529637cd4a26e /baseconfig/CONFIG_PPC_PTDUMP | |
parent | ccbb0995018bcd1ad4219c16668043b3906d9611 (diff) | |
download | kernel-ad2e73028bb2d084346b2c1f9c4c451b1ae43d04.tar.gz kernel-ad2e73028bb2d084346b2c1f9c4c451b1ae43d04.tar.xz kernel-ad2e73028bb2d084346b2c1f9c4c451b1ae43d04.zip |
Linux v4.9-11744-gb0b3a37
Diffstat (limited to 'baseconfig/CONFIG_PPC_PTDUMP')
-rw-r--r-- | baseconfig/CONFIG_PPC_PTDUMP | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/baseconfig/CONFIG_PPC_PTDUMP b/baseconfig/CONFIG_PPC_PTDUMP new file mode 100644 index 000000000..8c36b38b9 --- /dev/null +++ b/baseconfig/CONFIG_PPC_PTDUMP @@ -0,0 +1 @@ +# CONFIG_PPC_PTDUMP is not set |