/* stuff to be implemented by platform code */
extern char cpu_clk_name[];
-extern const char **renderer_names;
-extern const char **renderer_names32x;
+extern const char *renderer_names[];
+extern const char *renderer_names32x[];
void pemu_prep_defconfig(void);
void pemu_validate_config(void);