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