The Debian s390x architecture has 64-bit userland whereas s390 has 32-bit userland. A 64-bit kernel can be used with either. Now that Debian supports multiarch and officially supports s390x, it makes more sense to assign a 64-bit kernel package to s390x.
Unified · Split
| @@ -35,7 +35,7 @@ create_package() { · 34 unmodified lines | ||
| 35 | 35 | sparc*) |
| 36 | 36 | debarch=sparc ;; |
| 37 | 37 | s390*) |
| 38 | − debarch=s390 ;; | |
| 38 | + debarch=s390$(grep -q CONFIG_64BIT=y $KCONFIG_CONFIG && echo x || true) ;; | |
| 39 | 39 | ppc*) |
| 40 | 40 | debarch=powerpc ;; |
| 41 | 41 | parisc*) |