Disable arm_arch_timer

boards/arm/qemu_raspi3/qemu_raspi3.dts

@@ -89,20 +89,6 @@
 		uart0: uart {
 			compatible = "arm,raspi3_mini";
 		};
-
-        /* TODO: Remove. */
-		arch_timer: timer {
-			compatible = "arm,arm-timer";
-			interrupts = <GIC_PPI 13 IRQ_TYPE_LEVEL
-				      IRQ_DEFAULT_PRIORITY>,
-				     <GIC_PPI 14 IRQ_TYPE_LEVEL
-				      IRQ_DEFAULT_PRIORITY>,
-				     <GIC_PPI 11 IRQ_TYPE_LEVEL
-				      IRQ_DEFAULT_PRIORITY>,
-				     <GIC_PPI 10 IRQ_TYPE_LEVEL
-				      IRQ_DEFAULT_PRIORITY>;
-			label = "arch_timer";
-		};
 	};
 };
 

boards/arm/qemu_raspi3/qemu_raspi3_defconfig

 CONFIG_SOC_QEMU_RASPI3=y
 CONFIG_BOARD_QEMU_RASPI3=y
-CONFIG_ARM_ARCH_TIMER=y
+CONFIG_ARM_ARCH_TIMER=n
 CONFIG_XIP=n
 
 # QEMU settings