tests:
  kernel.ipi_work:
    tags:
      - kernel
      - smp
    filter: (CONFIG_MP_MAX_NUM_CPUS > 1) and CONFIG_SCHED_IPI_SUPPORTED