From 984be753ad0167ddd25c410d0874a58f03b0f322 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 20 May 2014 14:37:59 +0200
Subject: [PATCH] base & exynos5: platform driver in affinity test

Ensures that the Exynos5 CPU is clocked equally no matter how the kernel
initialized it. This makes the result of this time critical test more
comparable.

fix #1162
---
 repos/base/run/affinity.run | 34 ++++++++++++++++++++++++++++------
 1 file changed, 28 insertions(+), 6 deletions(-)

diff --git a/repos/base/run/affinity.run b/repos/base/run/affinity.run
index ecbf7519db..2ddba616f8 100644
--- a/repos/base/run/affinity.run
+++ b/repos/base/run/affinity.run
@@ -13,27 +13,49 @@ if {
 }
 
 
-build "core init test/affinity"
+set build_components { core init test/affinity }
+
+lappend_if [have_spec exynos5] build_components drivers/platform
+
+build $build_components
 
 create_boot_directory
 
-install_config {
+set config {
 	<config>
 		<parent-provides>
 			<service name="LOG"/>
 			<service name="CPU"/>
 			<service name="RM"/>
+			<service name="CAP"/>
+			<service name="SIGNAL"/>
+			<service name="RAM"/>
+			<service name="ROM"/>
+			<service name="IO_MEM"/>
 		</parent-provides>
 		<default-route>
 			<any-service> <parent/> </any-service>
-		</default-route>
+		</default-route> }
+
+append_if [have_spec exynos5] config {
+	<start name="platform_drv">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Regulator"/></provides>
+	</start> }
+
+append config {
 		<start name="test-affinity">
 			<resource name="RAM" quantum="10M"/>
 		</start>
-	</config>
-}
+	</config> }
 
-build_boot_image "core init test-affinity"
+install_config $config
+
+set boot_modules { core init test-affinity }
+
+lappend_if [have_spec exynos5] boot_modules platform_drv
+
+build_boot_image $boot_modules
 
 if {[is_qemu_available]} {
 	set want_cpus_x 4