[PATCH 05/10] xilinx: cpuinfo: Print soc machine

From: Stefan Herbrechtsmeier stefan.herbrechtsmeier@weidmueller.com

Print the soc machine in the print_cpuinfo function.

Signed-off-by: Stefan Herbrechtsmeier stefan.herbrechtsmeier@weidmueller.com ---

board/xilinx/common/board.c | 4 ++++ 1 file changed, 4 insertions(+)

diff --git a/board/xilinx/common/board.c b/board/xilinx/common/board.c index 629a6ee036..402fa77006 100644 --- a/board/xilinx/common/board.c +++ b/board/xilinx/common/board.c @@ -506,6 +506,10 @@ int print_cpuinfo(void) if (ret) printf("Silicon: %s\n", name);

+ ret = soc_get_machine(soc, name, SOC_MAX_STR_SIZE); + if (ret) + printf("Chip: %s\n", name); + return 0; } #endif