Re: [Tee-dev] console_init in optee_os