"""
Microkernel filenames lists for hexagon.

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

PROD_HEXAGON_MICROKERNEL_SRCS = [
]

NON_PROD_HEXAGON_MICROKERNEL_SRCS = [
]

ALL_HEXAGON_MICROKERNEL_SRCS = PROD_HEXAGON_MICROKERNEL_SRCS + NON_PROD_HEXAGON_MICROKERNEL_SRCS