Hi Manuel, On Mon, Jun 3, 2024 at 11:10 AM Manuel Traut <manut@xxxxxxxxx> wrote: > > On 14:13 Mon 27 May , Jens Wiklander wrote: > > --- a/drivers/tee/optee/ffa_abi.c > > +++ b/drivers/tee/optee/ffa_abi.c > > @@ -7,6 +7,7 @@ > > > > #include <linux/arm_ffa.h> > > #include <linux/errno.h> > > +#include <linux/rpmb.h> > > #include <linux/scatterlist.h> > > #include <linux/sched.h> > > #include <linux/slab.h> > > @@ -903,6 +904,10 @@ static int optee_ffa_probe(struct ffa_device *ffa_dev) > > optee->ffa.bottom_half_value = U32_MAX; > > optee->rpc_param_count = rpc_param_count; > > > > + if (IS_REACHABLE(CONFIG_RPMB) && > > + (sec_caps & OPTEE_FFA_SEC_CAP_RPMB_PROBE)) > > + optee->in_kernel_rpmb_routing = true; > > The SEC_CAP_RPMB_PROBE flag seems to be missing in optee_os at the moment. > If I remove this check here, the series works for me. You're right, I missed pushing those flags to optee_os. I've pushed them now. Cheers, Jens