Add simple benchmark pkg.

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

diff --git a/build/l4/ferret-modules.list b/build/l4/ferret-modules.list
index 53ae50574eec637907d9f567d010e2472d4e0acf..e8f835d4ab0d99c69545e468da85fd967c82dbaa 100644 (file)
--- a/build/l4/ferret-modules.list
+++ b/build/l4/ferret-modules.list
@@ -25,3 +25,11 @@ module ned
 module fer_scalar_demo
 module fer_simple_mon
 module ferret_sensor_dir
+
+entry bench
+kernel fiasco -serial_esc
+roottask moe rom/bench.cfg
+module l4re
+module ned
+module bench.cfg
+module benchmark