Re: [Tee-dev] non-sec DDR configuration with split memory map