| # | |
| # Microkernel filenames lists for wasm32. | |
| # | |
| # Auto-generated file. Do not edit! | |
| # Generator: tools/update-microkernels.py | |
| # | |
| PROD_WASM32_ASM_MICROKERNEL_SRCS = [ | |
| ] | |
| NON_PROD_WASM32_ASM_MICROKERNEL_SRCS = [ | |
| ] | |
| WASM32_ASM_MICROKERNEL_SRCS = PROD_WASM32_ASM_MICROKERNEL_SRCS + NON_PROD_WASM32_ASM_MICROKERNEL_SRCS |