So then essentially the Linux kernel is replacing Kickstart?
Sound to me as they have created a wrapper for the Linux kernel models, but that's not so simple, as the it will need a large part of Linux kernel for it to function, it will need to support fork(), and other parts the kernel module might need.
I can't read from this if they need to adapt the Linux kernel modules for Arix or if they use the kernel modules unmodified.
I'm assuming the need to recompile and make small adjustments.