The default firmware branch of the very popular mini computer; the Raspberry Pi has now been updated to use the 4.0 kernel.
The newer kernel tree does support more devices, like WiFi, DVB and USB devices.
According to the developers at the Raspberry Pi forum “the source tree has been available for a few months and is being used by OpenELEC amongst others. This tree is now considered the stable kernel source tree and will merge in minor bumps to the kernel version, rather than rebase.”
The developers also mention; “If testing is positive it will appear in “apt-get upgrade” and on new raspbian images in the near future.”
There’s also a 4.1 kernel tree, with an experimental kernel, so developers can work on an official 4.1 release.
Head over here for the source tree on Github.