Searched refs:network_string (Results 1 - 1 of 1) sorted by last modified time

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.rumprun.c39 char * network_string = ""; local
41 network_string = network_format_string;
43 int cmdline_len = strlen(format_string) + strlen(network_string) + strlen(rump_config.cmdline) + 1;
46 snprintf(custom_simple.cmdline, cmdline_len, format_string, network_string, rump_config.cmdline);

Completed in 83 milliseconds