Do last changes to finally start benchmarks.

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

diff --git a/build/l4/ferret-modules.list b/build/l4/ferret-modules.list
index 53ae50574eec637907d9f567d010e2472d4e0acf..bbdbcc13c90ac97fadf6ad47aab50dd6042fac9d 100644 (file)
--- a/build/l4/ferret-modules.list
+++ b/build/l4/ferret-modules.list
@@ -25,3 +25,15 @@ module ned
 module fer_scalar_demo
 module fer_simple_mon
 module ferret_sensor_dir
+
+entry bench
+kernel fiasco -serial_esc
+roottask moe --init=rom/benchmark
+module l4re
+module benchmark
+
+entry bench-bare
+kernel fiasco -serial_esc
+roottask moe --init=rom/benchmark -- -s 4097 -i -t 2 
+module l4re
+module benchmark