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