&arch_timer {
	clock-frequency = <500000>;
};