Debian ARMv7 Multiplatform, Linux Kernel Support?
#1
Is there support for Debian's "Linux for ARMv7 multiplatform compatible SoCs" kernel (linux-image-4.19.0-6-armmp)--32-bit ? 

https://packages.debian.org/buster/linux-image-armmp

Rockchip RK3399 doesn't seem to be listed:
https://wiki.debian.org/DebianKernel/ARMMP

https://www.debian.org/releases/stable/a...-platforms

From the previous section (2.1.3. Variations in ARM CPU designs and support complexity)
"At the beginning of the ARM support in the Linux kernel, the hardware variety resulted in the requirement of having a separate kernel for each ARM system in contrast to the “one-fits-all” kernel for PC systems. As this approach does not scale to a large number of different systems, work was done to allow booting with a single ARM kernel that can run on different ARM systems. Support for newer ARM systems is now implemented in a way that allows the use of such a multiplatform kernel, but for several older systems a separate specific kernel is still required. Because of this, the standard Debian distribution only supports installation on a selected number of such older ARM systems, alongside the newer systems which are supported by the ARM multiplatform kernels (called “armmp”) in Debian/armhf."

It seems to me to be a better solution than a separate custom kernel, not tested/released by Debian.


Messages In This Thread
Debian ARMv7 Multiplatform, Linux Kernel Support? - by u974615 - 10-02-2019, 02:25 PM
Debian Package Auto-Building - by bcnaz - 11-05-2019, 12:59 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Can’t login to Linux fnosai 0 1,851 07-27-2025, 12:30 AM
Last Post: fnosai
  Unable to install Debian Bullseye because of missing wifi firmware Pino64 8 10,769 06-26-2025, 09:20 PM
Last Post: reukiodo
  Void Linux: missing firmware from pinebookpro-firmware? remph 0 1,871 12-15-2024, 01:58 PM
Last Post: remph
  Attempting to install Void Linux, boots into a black screen 9a3eedi 1 4,020 09-28-2024, 09:23 AM
Last Post: throwawayforvoid
  Official Debian support moonwalkers 64 86,776 07-08-2024, 01:40 PM
Last Post: Humid Stylus
  Slackware Linux working on PBP vxzero 0 2,595 06-05-2024, 04:30 PM
Last Post: vxzero
  Debian on Pinebook Pro u974615 7 7,968 03-31-2024, 10:11 AM
Last Post: u974615
  install debian on pbp jsch 7 8,605 11-22-2023, 04:22 PM
Last Post: TRS-80
  How to mainline kernel on daniel thompson's debian installer? hellojack 14 15,132 09-07-2023, 09:38 PM
Last Post: Der Geist der Maschine
  Would a Pinebook Pro be good for a Linux newbie? cassado10 6 5,029 08-08-2023, 04:58 AM
Last Post: moobythegoldensock

Forum Jump:


Users browsing this thread: 1 Guest(s)