xref: /optee_os/core/kernel/sub.mk (revision be715239fc36b807025695bc00c9c5fba66d7933)