search

LinuxCNC / raspberrypi-linux

Kernel source tree for Raspberry Pi Foundation-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://www.raspberrypi.org/forum
Other
6 stars 5 forks source link

Fix packaging (ref: LinuxCNC/linuxcnc#1018). #1

Closed antage closed 3 years ago

antage commented 3 years ago

The change includes: 1) Use Provides, Conflicts, Replaces to ensure only one linux-image package can be installed (see Debian policy recommendation). 2) Rename kernel image to /boot/kernel7l.img. RPi 4B bootloader loads this file after start.

See previously discussion: LinuxCNC/linuxcnc#1018

I've tested deb-package and RPi4 boots without any problem.

I use cross-compilation to build deb-package:

export ARCH=arm
export CROSS_COMPILE=arm-linux-gnueabihf-
make clean
make bcm2711_defconfig
make bindeb-pkg
andypugh commented 3 years ago

Sorry for the delay. It was partly (only partly) because I found I didn't have push rights to this repo.

andypugh commented 3 years ago

Can I draw your attention to: https://github.com/LinuxCNC/raspberrypi-linux/issues/2

I think that it might be difficult to fix / not worthwhile. It's probably better to start again with a 5.x kernel and realtime patch.

andypugh commented 3 years ago

I have made a new SD card image with the new kernel. Unfortunately it seems to have no USB connection with my old Pi4 or my new Pi400. I am about to try installing the kernel on a stock Pi SD image, to see if it is the kernel or my system build. (but the system build ( LinuxCNC/pi-gen) has not been changed since building the previous image)

antage commented 3 years ago

For new kernel we should remove following line at config-rt.txt:

kernel=vmlinuz-4.19.71-rt24-v7l+
antage commented 3 years ago

And before to build new image you should publish new version kernel in apt repo. pi-gen get kernel from linuxcnc apt repo.