+- PINE64 (https://forum.pine64.org)
+-- Forum: Pinebook Pro (https://forum.pine64.org/forumdisplay.php?fid=111)
+--- Forum: Linux on Pinebook Pro (https://forum.pine64.org/forumdisplay.php?fid=114)
+--- Thread: Debian ARMv7 Multiplatform, Linux Kernel Support? (/showthread.php?tid=8029)
Debian ARMv7 Multiplatform, Linux Kernel Support? - u974615 - 10-02-2019
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/armhf/ch02s01.en.html#armhf-armmp-supported-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.
RE: Debian ARMv7 Multiplatform, Linux Kernel Support? - u974615 - 10-08-2019
I gather that Debian does support RK3399 with its standard kernel (armhf? or arm64?), baring the non-Free HDCP binary (for DRM video playback):
Add support for Pine64 RockPro64:
https://lists.debian.org/debian-arm/2019/07/msg00105.html
Re: Add support for Pine64 RockPro64:
https://lists.debian.org/debian-arm/2019/07/msg00106.html
rk3399: licensing of hdcp.bin
https://github.com/ARM-software/tf-issues/issues/651
ASUS C201P uses the same SoC, however it uses Coreboot with a Depthcharge payload specifically designed for UEFI-booting ChromeOS
https://wiki.debian.org/InstallingDebianOn/Asus/C101PA
So what other things need to be installed and configured (Wifi, Bluetooth, GPU acceleration, uBoot) ?
RE: Debian ARMv7 Multiplatform, Linux Kernel Support? - u974615 - 10-09-2019
Here are the Debian (Buster) Linux kernel packages anyone is interested:
linux-image-5.2.0-0.bpo.2-arm64
https://packages.debian.org/buster-backports/kernel/linux-image-5.2.0-0.bpo.2-arm64
linux-image-5.2.0-0.bpo.2-armmp
https://packages.debian.org/buster-backports/kernel/linux-image-5.2.0-0.bpo.2-armmp
Debian even has a webpage for PINE64 Pinebook Pro (currently blank):
https://wiki.debian.org/InstallingDebianOn/PINE64/PinebookPro
Installing Debian 10.1
https://www.debian.org/releases/buster/debian-installer/
ARM 64 bit
https://cdimage.debian.org/debian-cd/current/arm64/iso-cd/debian-10.1.0-arm64-netinst.iso
ARM 32 bit
https://cdimage.debian.org/debian-cd/current/armhf/iso-cd/debian-10.1.0-armhf-netinst.iso
Debian Package Auto-Building - bcnaz - 11-05-2019
Has anyone tried using the Debian Package Auto-Building for the Pinebook Pro ?
RE: Debian ARMv7 Multiplatform, Linux Kernel Support? - u974615 - 12-09-2019
Debian Device Trees on Rockchip:
rk3328-rock64.dtb is there
not rk3399-pinebookpro.dtb
nor rk3399-rockpro64.dtb
:-(
http://ftp.debian.org/debian/dists/buster/main/installer-arm64/current/images/device-tree/rockchip/
RE: Debian ARMv7 Multiplatform, Linux Kernel Support? - u974615 - 12-09-2019
Debian Installer:
Supported Platforms:
"The multiplatform support in the arm64 Linux kernel may also allow running debian-installer on arm64 systems not explicitly listed above. So long as the kernel used by debian-installer has support for the target system's components, and a device-tree file for that target is available, a new target system may work just fine. In these cases, the installer can usually provide a working installation, and so long as UEFI is in use, it should be able to make the system bootable as well. If UEFI is not used you may also need to perform some manual configuration steps to make the system bootable."
https://www.debian.org/releases/stable/arm64/
Daily builds:
https://d-i.debian.org/daily-images/arm64/