On 22:05 Thu 04 Jul , Jisheng Zhang wrote: > On Wed, Jul 03, 2024 at 02:55:14PM +0000, Yixun Lan wrote: > > Devices in 0xf000,0000 - 0xf080,0000 are reserved for TEE purpose, > > so add uart1 here but mark its status as reserved. > > This patch doesn't deserve a seperate patch, it's better to fold it > into the dtsi one. fine, I will address it in next revision -- Yixun Lan (dlan) Gentoo Linux Developer GPG Key ID AABEFD55
