Hello all,
Volodymyr Babchuk <[email protected]> writes: > Extend TEE mediator interface with two functions : > > - tee_get_type_from_dts() returns TEE type based on input string > - tee_make_dtb_node() creates a DTB entry for the selected > TEE mediator > [..] > bool __init is_dom0less_mode(void) > { > @@ -650,6 +651,10 @@ static int __init prepare_dtb_domU(struct domain *d, > struct kernel_info *kinfo) > if ( ret ) > goto err; > I forgot to add #ifdef CONFIG_TEE > + /* We are making assumption that every mediator sets d->arch.tee */ > + if ( d->arch.tee ) > + tee_make_dtb_node(kinfo->fdt); > + #endif So build fails if TEE is disabled. I'll fix this in the next version. Anyways, this is RFC. > /* > * domain_handle_dtb_bootmodule has to be called before the rest of > * the device tree is generated because it depends on the value of > @@ -871,6 +876,7 @@ void __init create_domUs(void) > unsigned int flags = 0U; > uint32_t val; > int rc; > + const char *tee_name; [...] -- WBR, Volodymyr
