Adding debian version 4.19.249-2.debian/4.19.249-2

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

2 files changed, 48 insertions, 0 deletions

diff --git a/debian/config/powerpcspe/config b/debian/config/powerpcspe/config
new file mode 100644
index 000000000..8d3fcc54a
--- /dev/null
+++ b/debian/config/powerpcspe/config
@@ -0,0 +1,33 @@
+##
+## file: arch/powerpc/Kconfig
+##
+CONFIG_HIGHMEM=y
+CONFIG_CMDLINE_BOOL=y
+CONFIG_CMDLINE="console=ttyS0,115200"
+
+##
+## file: arch/powerpc/platforms/85xx/Kconfig
+##
+CONFIG_MPC8540_ADS=y
+CONFIG_MPC8560_ADS=y
+CONFIG_MPC85xx_CDS=y
+CONFIG_MPC85xx_MDS=y
+CONFIG_MPC8536_DS=y
+CONFIG_MPC85xx_DS=y
+CONFIG_MPC85xx_RDB=y
+
+##
+## file: arch/powerpc/platforms/Kconfig.cputype
+##
+## choice: Processor Type
+CONFIG_PPC_85xx=y
+## end choice
+CONFIG_PHYS_64BIT=y
+CONFIG_SMP=y
+CONFIG_NR_CPUS=4
+
+##
+## file: drivers/gpio/Kconfig
+##
+CONFIG_GPIOLIB=y
+
diff --git a/debian/config/powerpcspe/defines b/debian/config/powerpcspe/defines
new file mode 100644
index 000000000..adb4bea07
--- /dev/null
+++ b/debian/config/powerpcspe/defines
@@ -0,0 +1,15 @@
+[base]
+flavours:
+ powerpcspe
+kernel-arch: powerpc
+
+[build]
+image-file: vmlinux
+vdso: true
+
+[image]
+suggests: mkvmlinuz
+install-stem: vmlinux
+
+[description]
+hardware: 32-bit PowerPC with SPE (instead of AltiVec) with SMP support