Jetpack/u-boot/arch/powerpc/dts/xilinx-ppc405-generic.dts

/dts-v1/;
/ {
	#address-cells = <1>;
	#size-cells = <1>;

	aliases {
		console = &uart0;
	};

	uart0: serial@84000000 {
		compatible = "xlnx,xps-uartlite-1.00.a";
		interrupts = <0 0>;
		reg = <0x84000000 0x10000>;
	};
} ;