tests/kernel/test_tickless/microkernel/testcase.ini - third_party/github/zephyrproject-rtos/zephyr - Git at Google

 [test]
 tags = core
 arch_exclude = arc nios2
 kernel = micro
 filter = ARCH == "x86" or (ARCH == "arm" and
 		(CONFIG_SOC_MK64F12 or CONFIG_SOC_ATMEL_SAM3))
	[test]
	tags = core
	arch_exclude = arc nios2
	kernel = micro
	filter = ARCH == "x86" or (ARCH == "arm" and
	(CONFIG_SOC_MK64F12 or CONFIG_SOC_ATMEL_SAM3))