How to install the xenomai in this Axon- vicharak board using (cross compilation / native)

I think this may help you.

  1. Clone Vicharak Kernel and checkout master branch.
    Master branch is 5.10 Kernel.
  1. Follow this guide for installing xenomai 3 in Custom Kernel
    Axon is arm64 based board so kindly follow those steps.

  2. 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 both rockchip_linux_defconfig and rk3588_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