User_green

Hello, dear armbian community. I am using Orange Pi 5 plus, and I want to use kernel-6.16-5-edge-rockchip64 by armbian, as works much better than actual mainline (I have broken HDMI sound, buggy OpenGL, no power profiles) I, however, want to build kernel for different distro (OpenSUSE Tumbleweed, aka binpkg-rpm). Where do I get kernel sources to do this? (And is it the right place to ask this question?)