[08:22] <sub526> Hi all, I'm having Ubuntu 18.04.4 LTS (4.15.0-91-generic kerne) system, I need downgrade the kernel to 4.4.0-66-generic kernel. Is it possible to downgrade, if so how to achieve this?
[15:16] <jceel> hi everyone
[15:16] <jceel> my company has designed a board based on an AArch64 SoC that I would like to add Ubuntu support for
[15:17] <jceel> I need to at least add a custom device tree file for my platform to the kernel package
[15:17] <jceel> so far I have forked ubuntu-bionic kernel from the official repo and set up APT repository to host kernel image and module packages
[15:18] <jceel> and made the appropriate changes in the kernel source tree
[15:18] <jceel> however, the resulting kernel-modules package does not contain my .dtb file
[15:18] <jceel> even though it is correctly wired up in the Makefile and I can see that make dtbs_install installs it
[15:19] <jceel> how to proceed with debugging it?
[17:57] <sarnold> jceel: I know next to nothing about the kernel packaging, but there's often a debian/*.install file of some sort to describe which files go in which packages -- there may be something similar
[19:21] <jceel> sarnold: there are no such files in kernel packages, so I'm guessing they must be generated by something
[19:21] <sarnold> dang :(
[19:21] <jceel> in fact there's so much makefile code in those packages that it may take weeks to understand all of that
[19:24] <jceel> the interesting thing is that the resulting /lib/firmware/.../device-tree directory tree doesn't contain all the built dtb files but only some of them
[19:24] <jceel> yet I can't find a list of those files
[19:24] <jceel> (I tried grepping some characteristic names)