I think this may help you.
- Clone Vicharak Kernel and checkout master branch.
Master branch is 5.10 Kernel.
-
Follow this guide for installing xenomai 3 in Custom Kernel
Axon is arm64 based board so kindly follow those steps. -
They have also mentioned how to compile kernel but they have used only
defconfig. In that Axon board specific changes would be not applied so , I recommended to use bothrockchip_linux_defconfigandrk3588_axon.config
Kindly read this documentation on Vicharak Build kernel guide
If you want to edit kernel argument, then
Check out /boot/extlinux/extlinux.conf file