CONFIG_NUM_IRQS=2
CONFIG_CONSOLE=y
CONFIG_STDOUT_CONSOLE=y
CONFIG_IPI_CONSOLE_RECEIVER=y
CONFIG_IPI_CONSOLE_SENDER=y
CONFIG_IRQ_OFFLOAD=y
CONFIG_DEBUG=y