barebox / arch / arm / dts / bcm2835-rpi.dts

#include <arm/bcm2835-rpi-a.dts>

/ {
	chosen {
		stdout-path = &uart0;
	};
};

&{/memory@0} {
	reg = <0x0 0x0>;
};

&sdhci {
	status = "okay";
};

&sdhost {
	status = "disabled";
};