+ surf_timer_resource_init(platform_file); /* tell Surf to create the environnement */
+
+
+ /*printf("surf_workstation_resource = %p, workstation_set = %p\n", surf_workstation_resource, workstation_set);
+ printf("surf_network_resource = %p, network_link_set = %p\n", surf_network_resource, network_link_set);*/
+
+ surf_workstation_resource_init_KCCFLN05(platform_file);
+ /* surf_workstation_resource_init_CLM03(platform_file);*/
+
+ /*printf("surf_workstation_resource = %p, workstation_set = %p\n", surf_workstation_resource, workstation_set);
+ printf("surf_network_resource = %p, network_link_set = %p\n", surf_network_resource, network_link_set);*/
+
+
+ /* now let's create the SD wrappers for workstations and links */