Hello xenomai family In this way I was able to use raw_printk on evl. Maybe works on xenomai too.
CONFIG_DEBUG_RAW_PRINTK=y CONFIG_DEBUG_LL=y # under LL menu entry CONFIG_DEBUG_UART_8250=y CONFIG_DEBUG_UART_PHYS=0x44e09000 CONFIG_DEBUG_UART_VIRT=0xf9e09000