From f64ec500bf202521db94e679fa7e89a96da2eeb4 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 12 Oct 2018 16:29:50 +0200
Subject: [PATCH] run/rtc: assert spec x86 and !linux

---
 repos/os/run/rtc.run | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/repos/os/run/rtc.run b/repos/os/run/rtc.run
index 6ecd143322..278a633f31 100644
--- a/repos/os/run/rtc.run
+++ b/repos/os/run/rtc.run
@@ -1,4 +1,8 @@
 # RTC test
+assert_spec x86
+
+if {[have_spec linux]} {
+	puts "Platform not supported"; exit }
 
 build { core init drivers/rtc drivers/timer test/rtc }