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
  Debian on Pinebook Pro u974615 7 984 03-31-2024, 10:11 AM
Last Post: u974615
  Attempting to install Void Linux, boots into a black screen 9a3eedi 0 333 02-18-2024, 08:54 AM
Last Post: 9a3eedi
  install debian on pbp jsch 7 4,022 11-22-2023, 04:22 PM
Last Post: TRS-80
  How to mainline kernel on daniel thompson's debian installer? hellojack 14 7,363 09-07-2023, 09:38 PM
Last Post: Der Geist der Maschine
  Would a Pinebook Pro be good for a Linux newbie? cassado10 6 1,471 08-08-2023, 04:58 AM
Last Post: moobythegoldensock
  Unable to install Debian Bullseye because of missing wifi firmware Pino64 7 4,023 07-15-2023, 02:58 PM
Last Post: u974615
  Kali Linux for Pinebook Pro - stuck on the login screen owaspfap 0 657 07-13-2023, 05:21 PM
Last Post: owaspfap
  kernel module that supports usb-c hdmi alexandre 16 14,534 05-14-2023, 09:58 PM
Last Post: rathofkhan3
  Kali Linux for Pinebook Pro Luke 100 159,065 05-03-2023, 06:10 AM
Last Post: dachalife
  Armbian is [edit: no longer] dropping support for Pinebook Pro TRS-80 4 4,111 12-23-2022, 12:01 AM
Last Post: TRS-80

Forum Jump:


Users browsing this thread: 1 Guest(s)