+ } else if (strcmp(key, KEY_SYSTEM_CORE) == 0) {\r
+ config->system_core = atoi(value);\r
+ printf("system_core -c %" PRIx64 "\n", config->system_core);\r
+ } else if (strcmp(key, KEY_PKT_PROC_CORE) == 0) {\r
+ config->pkt_proc_core = atoi(value);\r
+ printf("pkt_proc_core -c %" PRIx64 "\n", config->pkt_proc_core);\r
+ } else if (strcmp(key, KEY_PKT_AUX_CORE) == 0) {\r
+ config->pkt_aux_core = atoi(value);\r
+ printf("pkt_aux_core -c %" PRIx64 "\n", config->pkt_aux_core);\r
+ } else if (strcmp(key, KEY_TIMING_CORE) == 0) {\r
+ config->timing_core = atoi(value);\r
+ printf("timing_core -c %" PRIx64 "\n", config->timing_core);\r