4 ms·

Why is that interesting? Just that they're not having to carry special patches for the RPi3 or what?

• sigjuice 9y ago
  Yes. I have only tried Raspbian and I'm not used to getting RPi kernels from kernel.org
  • muep 9y ago
    E.g. Fedora has for years been using for RPi the same close-to-mainline kernel source that is used for other ARM boards and x86-64 and any other supported hw platform.