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
  Attempting to install Void Linux, boots into a black screen 9a3eedi 1 1,253 09-28-2024, 09:23 AM
Last Post: throwawayforvoid
  Official Debian support moonwalkers 64 65,553 07-08-2024, 01:40 PM
Last Post: Humid Stylus
  Slackware Linux working on PBP vxzero 0 646 06-05-2024, 04:30 PM
Last Post: vxzero
  Debian on Pinebook Pro u974615 7 3,018 03-31-2024, 10:11 AM
Last Post: u974615
  install debian on pbp jsch 7 5,530 11-22-2023, 04:22 PM
Last Post: TRS-80
  How to mainline kernel on daniel thompson's debian installer? hellojack 14 10,042 09-07-2023, 09:38 PM
Last Post: Der Geist der Maschine
  Would a Pinebook Pro be good for a Linux newbie? cassado10 6 2,600 08-08-2023, 04:58 AM
Last Post: moobythegoldensock
  Unable to install Debian Bullseye because of missing wifi firmware Pino64 7 5,524 07-15-2023, 02:58 PM
Last Post: u974615
  Kali Linux for Pinebook Pro - stuck on the login screen owaspfap 0 1,024 07-13-2023, 05:21 PM
Last Post: owaspfap
  kernel module that supports usb-c hdmi alexandre 16 17,300 05-14-2023, 09:58 PM
Last Post: rathofkhan3

Forum Jump:


Users browsing this thread: 1 Guest(s)