l4: Improve benchmark.

[jailhouse-test.git] / build / l4 / ferret-modules.list

diff --git a/build/l4/ferret-modules.list b/build/l4/ferret-modules.list
index e8f835d4ab0d99c69545e468da85fd967c82dbaa..b11db2052ea9c43d1f584a79c2b93cfc7c4ec553 100644 (file)
--- a/build/l4/ferret-modules.list
+++ b/build/l4/ferret-modules.list
@@ -28,8 +28,6 @@ module ferret_sensor_dir
 
 entry bench
 kernel fiasco -serial_esc
-roottask moe rom/bench.cfg
+roottask moe --init=rom/benchmark
 module l4re
-module ned
-module bench.cfg
 module benchmark