xref: /optee_os/core/kernel/sub.mk (revision be715239fc36b807025695bc00c9c5fba66d7933)
1b0104773SPascal Brandsrcs-y += assert.c
2b0104773SPascal Brandsrcs-y += tee_dispatch.c
33cf931e5SJens Wiklandersrcs-y += tee_ta_manager.c
454e04708SPascal Brandsrcs-y += tee_misc.c
5b0104773SPascal Brandsrcs-y += panic.c
6c0346845SJens Wiklandersrcs-y += handle.c
77315b7b4SJens Wiklandersrcs-y += interrupt.c
8*be715239SJens Wiklandersrcs-$(CFG_CORE_SANITIZE_UNDEFINED) += ubsan.c
9