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

Dear Sir/Madam,

I purchased your Axon Vicharak board (ARM processor) last week. I would like to install Xenomai on it.

Could you please let me know which versions of Xenomai are supported on this board?

Additionally, could you provide the user manual or installation instructions for setting up Xenomai on this board?

Thank you.

Yours sincerely,
SARAN R

We are looking into it, meanwhile you can existing kernel.
and, will get back yo you.

Porting Xenomai Kernel to Vicharak 6.1 Rockchip Kernel

This guide outlines the high-level steps required to integrate the Xenomai (EVL) real-time framework with the Vicharak 6.1 Rockchip kernel.


1. Clone the Xenomai (EVL) Kernel Source

Start by cloning the Xenomai EVL-enabled kernel tree based on Linux 6.1:

git clone https://gitlab.com/Xenomai/xenomai4/linux-evl.git
cd linux-evl
git checkout v6.1.162-cip51-evl5-rebase

2. Integrate Vicharak Kernel Changes

Cherry-pick all relevant commits from the Vicharak 6.1 kernel repository:

3. Resolve Merge Conflicts

While merging both codebases, conflicts are expected due to differences in:

  • Rockchip platform support
  • Device tree changes ( rk3588-axon.dtsi )
  • Driver Support ( Rockchip specific, FUSB302, ES8388 etc )

Carefully review and resolve conflicts to maintain kernel stability.

4. Build the Kernel and apply into Axon Board

Once integration is complete, follow the official Vicharak build guide:

Second option

is to follow the guidance below that uses only the patch.
We have not tested yet, but kindly do the same as they suggested in the documentation.

Reference Material:

i want the patch the xenomai in our Vicharak board AXON (RK3588)

We want

  • kernel 5.10.x / kernel 5.x.x
  • Xenomai 3.x
  • with patch / menu config also(photos /text src )
    give the manual for above xenomai version

please respective sir / madam

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

i tried using your given link for kernel 5.10.238 but the patch is incorrect i have get in the online do you have any correct version of patch link for this to attach xenomai in this kernel 5.10.238

the steps i have done

  1. cd ~/vicharak_workspace

  2. rm -rf vicharak-linux-kernel

  3. git clone --depth=1 -b master GitHub - vicharak-in/vicharak-linux-kernel: Linux Kernel Source for Vicharak's Vaaman ( RK3399 based ) and Axon ( RK3588 based ) Boards · GitHub

  4. wget -O dovetail-core-5.10.161.patch http://git.neardi.com/rockchip/linux/docs/-/raw/neardi-356x-linux-4.19-gen-rkr3/Patches/Real-Time-Performace/XENOMAI/kernel-5.10/dovetail-core-5.10.161-on-rockchip-base-cae91899b.patch

  5. wget https://gitlab.com/Xenomai/xenomai3/xenomai/-/archive/v3.2.2/xenomai-v3.2.2.tar.gz

  6. cd vicharak-linux-kernel

  7. patch -p1 < …/dovetail-core-5.10.161.patch

  8. …/xenomai-v3.2.2/scripts/prepare-kernel.sh --arch=arm64 --linux=./

  9. export CROSS_COMPILE=aarch64-linux-gnu-

  10. make O=out ARCH=arm64 rockchip_linux_defconfig

  11. cat arch/arm64/configs/rk3588_axon.config >> out/.config

  12. make O=out ARCH=arm64 menuconfig

  13. make O=out ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- -j$(nproc)

error : This error is happening because Xenomai is looking for a feature called IRQF_OOB that was supposed to be added to the kernel by your Dovetail patch, but the patch didn’t work correctly.

@Balajis . We are looking into this, There is no direct patch that can support xenomai in Rk3588 based board kernel especially, 5.10 kernel as per your requirement.
As this is not mainline kernel that we are using it’s native rockchip kernel, so it’s a little bit tricky when it comes to give support of this kind of stuff.

Updated Article To give support of xenomai in rk3588.

give me a correct dovetail patch link with that only i can patch the kernel 5.10.238 and xenomai and then only i can build image. you have given me only the kernel link i have no patch link for that if i patch any patch link to the kernel and xenomai the patch does not have the features for your given kernel link so send me the correct patch link for the kernel 5.10.238 or give me the sdk for this board

Hi, @Balajis

As I mentioned earlier there is no patch available on internet that can directly applied in rk3588 based board, I am trying to give support of rk3588 of dovetail in our kernel Vicharak 5.10. But it may have long path to achieve.

In urgency, we can guide you as we have been.
You can port it by yourself on Vicharak Device rk3588-axon in Dovetail and compile kernel.

Otherwise, you may have to wait for 1-2 months.

I would also love to know from community, if there are any other way to port, ping on this platform.

Reference Document

@Avi_Shihora

see i have already done this for the forlinx OK3588C BOARD i compiled using their Software Development Kit (SDK), i have installed kernel patching with the xenomai and created the update.image and also i loaded successfully . like wise i want VICHARAK AXON BOARD’S Software Development Kit (SDK), So i can easily compile and load the update.img to the board in that sdk i will have the patch link, and the xenomai version and kernel versions which is suitable, or give me a correct kernel, xenomai, and patch links to compile. please give a proper feedback , and also i want to say that see our company is very excited to buy more vicharak axon boards if xenomai correctly installed in this board me and my team can run our robotics projects using this board if it is success we buy a huge number of board every month. so please tell me the correct installation guide or give me correct links to build xenomai with the kernel and patch it correctly and compile image. our projects is full and full run using the xenomai. please give me a (SDK) for this Board

Here is Full guidance to support Xenomai in Axon

1 Like