2 * Microchip PIC32MZ[DA] Starter Kit board
4 * Copyright (C) 2015, Microchip Technology Inc.
5 * Purna Chandra Mandal <purna.mandal@microchip.com>
7 * SPDX-License-Identifier: GPL-2.0+
14 #include <mach/pic32.h>
16 #ifdef CONFIG_DISPLAY_BOARDINFO
22 printf("Core: %s\n", get_core_name());
24 if (!uclass_get_device(UCLASS_CLK, 0, &dev)) {
25 rate = clk_get_rate(dev);
26 printf("CPU Speed: %lu MHz\n", rate / 1000000);