/polux/devkit/rtai-3.1-2.6/rtai-core/arch/