Replies: 1 comment 2 replies
-
The builds are using official Debian/Ubuntu kernels. If you want patches or different config you'll have to build it yourself. |
Beta Was this translation helpful? Give feedback.
2 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I am using RK3399, and I want to run a realtime kernel. Rockchip seems to provide source for Linux 4.4.176, 4.19.87, 4.19.104 and 5.10.53 with PREEMPT_RT patches applied. Are there any precompiled real time kernels in the repositories?
Beta Was this translation helpful? Give feedback.
All reactions