case=optee_os-pr7730
variant=optee_os-pr7730-pr7730-after
repository=OP-TEE/optee_os
build_system=make
