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