The Industrial Raspberry Pi Forum

I need to update the kernel on my Core 3 to linux 4.14 to get a usb peripheral device bugfix .
I've tried
sudo apt-get update
sudo apt-get upgrade
but uname -a tells me I'm still on 4.9:
Linux RevPi12149 4.9.76-rt60-v7+ #1 SMP PREEMPT RT Tue, 12 Mar 2019 15:19:36 +0100 armv7l GNU/Linux

Are there some revpi patches in the kernel, or can I use a standard kernel from the latest raspbian stretch?
Can I use the imagebakery with the latest raspbian stretch to get linux 4.14 ?

Figured it out...
Followed the README at https://github.com/RevolutionPi/kernelbakery
but change from to I actually successfully did the compilation on the Core 3, with some tweaking to update.sh necessary.
During compilation I had plenty of time to download Debian Stretch 64-bit and install in virtualbox and crosscompile the same with 6 cores on my laptop instead. If one only needs to compile Core 3 and not Core there is a lot of time to be saved by editing update.sh first.

And to reply on whether a standard raspberry pi kernel can be run, the answer is yes, but without piControl you have more or less no functionality from revolution pi modules. It could however be perfectly used to determine that the usb-bugfix in 4.14 was working so it would be worth it to compile with revpi kernelbakery.

There's also a revpi-4.19 branch on GitHub and I'd recommend to use that one instead of revpi-4.14. We've decided to skip 4.14 and jump directly to 4.19. The revpi-4.14 branch was done last year as an experiment and there are known instabilities with it. The revpi-4.19 branch is more stable. We'll keep pushing updates to this branch over the coming weeks until it's released. If you come across issues with revpi-4.19, feel free to let us know here in the forum or open an issue on GitHub. Thanks.