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