diff --git a/repos/ports/run/noux_bash.run b/repos/ports/run/noux_bash.run
index 6aa6af5ea0..c575d67223 100644
--- a/repos/ports/run/noux_bash.run
+++ b/repos/ports/run/noux_bash.run
@@ -14,10 +14,9 @@ set build_components {
 	drivers/framebuffer drivers/input
 	server/terminal server/ram_fs
 	test/libports/ncurses
-
-	drivers/rtc
 }
 
+lappend_if [have_spec x86]  build_components drivers/rtc
 lappend_if [use_usb_input]  build_components drivers/usb
 lappend_if [have_spec gpio] build_components drivers/gpio
 
@@ -73,7 +72,9 @@ append config {
 		<start name="timer">
 			<resource name="RAM" quantum="1M"/>
 			<provides><service name="Timer"/></provides>
-		</start>
+		</start>}
+
+append_if [have_spec x86] config {
 		<start name="rtc_drv">
 			<resource name="RAM" quantum="1M"/>
 			<provides><service name="Rtc"/></provides>
@@ -175,8 +176,13 @@ Hello world !!
 				<dir name="ram"> <fs label="root" /> </dir>
 				<dir name="tmp"> <fs label="tmp" /> </dir>
 
-				<dir name="dev"> <rtc/> <zero/> <null/> </dir>
+				<dir name="dev">}
 
+append_if [have_spec x86] config {
+					<rtc/>}
+append config {
+					<zero/> <null/>
+				</dir>
 			</fstab>
 			<start name="/bin/bash">
 				<env name="TERM" value="linux" />
@@ -198,12 +204,12 @@ set boot_modules {
 	core init timer ld.lib.so noux terminal ram_fs
 	libc.lib.so libm.lib.so libc_noux.lib.so ncurses.lib.so
 	bash.tar coreutils.tar diffutils.tar less.tar vim.tar
-	rtc_drv
 }
 
 # platform-specific modules
 lappend_if [have_spec       linux] boot_modules fb_sdl
 lappend_if [have_spec         ps2] boot_modules ps2_drv
+lappend_if [have_spec         x86] boot_modules rtc_drv
 lappend_if [have_spec framebuffer] boot_modules fb_drv
 lappend_if [use_usb_input]         boot_modules usb_drv
 lappend_if [have_spec gpio]        boot_modules gpio_drv