Index: soft/giet_vm/giet_python/genmap
===================================================================
--- soft/giet_vm/giet_python/genmap	(revision 753)
+++ soft/giet_vm/giet_python/genmap	(revision 772)
@@ -40,4 +40,5 @@
 # - raycast
 # - router 
+# - rosenfeld 
 # - sort 
 # - shell
@@ -151,4 +152,8 @@
                    default = False,
                    help = 'map the "router" application for the GietVM' )
+
+parser.add_option( '--rosenfeld', action = 'store_true', dest = 'rosenfeld',     
+                   default = False,
+                   help = 'map the "rosenfeld" application for the GietVM' )
 
 parser.add_option( '--shell', action = 'store_true', dest = 'shell',     
@@ -204,4 +209,5 @@
 map_raycast    = options.raycast     # map "raycast" application if True
 map_router     = options.router      # map "router" application if True
+map_rosenfeld  = options.rosenfeld   # map "rosenfeld" application if True
 map_shell      = options.shell       # map "shell" application if True
 map_sort       = options.sort        # map "sort" application if True
@@ -281,4 +287,9 @@
     print '[genmap] application "router" will be loaded'
 
+if ( map_rosenfeld ):      
+    appli = __import__( 'rosenfeld' )
+    appli.extend( mapping )
+    print '[genmap] application "rosenfeld" will be loaded'
+
 if ( map_shell ):
     appli = __import__( 'shell' )