[05:15] <juergh> @johang Debian just ships the upstream kernel and you'll get whatever support for Pi there is. Ubuntu adds a couple hundred additional patches from the pi foundation on top that give you support for additional HATs, bug fixes, enhancements, what not. We don't want all of that in the generic kernel hence the raspi flavor.
[08:14] <LocutusOfBorg> hello xnox and ubuntu kernel developers!
[08:14] <LocutusOfBorg> do you have any plan for LP: #1215411 ?
[08:14] -ubottu:#ubuntu-kernel- Launchpad bug 1215411 in linux (Ubuntu) "libcpupower.so is not installed from linux-tools" [Medium, In Progress] https://launchpad.net/bugs/1215411
[09:34] <johang> juergh: thanks for the explanation