On Tue, Oct 1, 2019 at 9:37 AM Linux Kamarada <linuxkamar...@gmail.com> wrote: > > On Tue, Oct 1, 2019 at 5:56 AM Matthias Brugger <mbrug...@suse.com> wrote: > > > > What do you mean by Rasbian configs? Do you mean the kernel config? > > We are trying to support RPi4 with the mainline kernel. Raspbian uses a > > downstream kernel which only works on RPis, so the kernel config won't work > > on > > our mainline kernel. > > > > Yes, that's what I meant: kernel config :) > > I thought about, using openSUSE tools, build a kernel close to the > Raspbian's one. Maybe that's what Manjaro did. >
I'm trying to build the Linux kernel provided by the Raspberry Pi Foundation, its source is available here: https://github.com/raspberrypi/linux/tree/raspberrypi-kernel_1.20190925-1 And build instructions can be found here: https://www.raspberrypi.org/documentation/linux/kernel/building.md I was able to cross-compile it using my 64-bit PC at home. Also, I was able to build something at OBS: https://build.opensuse.org/package/show/home:kamarada:15.1:dev:RPi4/raspberrypi-linux But OBS built it for x86_64, while armv7l and aarch64 were excluded. What am I doing wrong? Thank you! Antonio The Linux Kamarada Project http://kamarada.github.io/ -- To unsubscribe, e-mail: opensuse-arm+unsubscr...@opensuse.org To contact the owner, e-mail: opensuse-arm+ow...@opensuse.org
