1 // SPDX-License-Identifier: GPL-2.0+
3 * Microchip PIC32MZ[DA] Starter Kit board
5 * Copyright (C) 2015, Microchip Technology Inc.
6 * Purna Chandra Mandal <purna.mandal@microchip.com>
14 #include <dt-bindings/clock/microchip,clock.h>
15 #include <mach/pic32.h>
17 #ifdef CONFIG_DISPLAY_BOARDINFO
25 printf("Core: %s\n", get_core_name());
27 if (uclass_get_device(UCLASS_CLK, 0, &dev))
31 ret = clk_request(dev, &clk);
35 rate = clk_get_rate(&clk);
36 printf("CPU Speed: %lu MHz\n", rate / 1000000);