"""
Microkernel filenames lists for sme.

Auto-generated file. Do not edit!
  Generator: tools/update-microkernels.py
"""

PROD_SME_MICROKERNEL_SRCS = [
]

NON_PROD_SME_MICROKERNEL_SRCS = [
]

ALL_SME_MICROKERNEL_SRCS = PROD_SME_MICROKERNEL_SRCS + NON_PROD_SME_MICROKERNEL_SRCS