"""
Microkernel filenames lists for wasmrelaxedsimd32.

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

PROD_WASMRELAXEDSIMD32_ASM_MICROKERNEL_SRCS = [
]

NON_PROD_WASMRELAXEDSIMD32_ASM_MICROKERNEL_SRCS = [
]

WASMRELAXEDSIMD32_ASM_MICROKERNEL_SRCS = PROD_WASMRELAXEDSIMD32_ASM_MICROKERNEL_SRCS + NON_PROD_WASMRELAXEDSIMD32_ASM_MICROKERNEL_SRCS