"""
Microkernel filenames lists for neonsme.

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

PROD_NEONSME_MICROKERNEL_SRCS = [
]

NON_PROD_NEONSME_MICROKERNEL_SRCS = [
]

ALL_NEONSME_MICROKERNEL_SRCS = PROD_NEONSME_MICROKERNEL_SRCS + NON_PROD_NEONSME_MICROKERNEL_SRCS