Replace the warning with an info message stating that the platform
is generic.
Suggested-by: Ian Campbell <ian.campbell@citrix.com>
Signed-off-by: Edgar E. Iglesias <edgar.iglesias@xilinx.com>
Reviewed-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
return 0;
}
-/* List of possible platform */
-static void dump_platform_table(void)
-{
- const struct platform_desc *p;
-
- printk("Available platform support:\n");
-
- for ( p = _splatform; p != _eplatform; p++ )
- printk(" - %s\n", p->name);
-}
-
void __init platform_init(void)
{
int res = 0;
if ( platform == _eplatform )
{
/* TODO: dump DT machine compatible node */
- printk(XENLOG_WARNING "WARNING: Unrecognized/unsupported device tree "
- "compatible list\n");
- dump_platform_table();
+ printk(XENLOG_INFO "Platform: Generic System\n");
platform = NULL;
}
else