Adaptation to changed timer location

Related to genodelabs/genode#3101
2019-01-14 12:36:10 +01:00
parent c042419226
commit ffc8c453e2
41 changed files with 41 additions and 41 deletions
--- a/run/eigentor.run
+++ b/run/eigentor.run
@@ -18,7 +18,7 @@ set build_components {
 	core
 	drivers/nic
 	drivers/rtc
-	drivers/timer
+	timer
 	init
 	lib/vfs/jitterentropy
 	server/dynamic_rom