| /* |
| * Microchip PIC32MZ[DA] Starter Kit board |
| * |
| * Copyright (C) 2015, Microchip Technology Inc. |
| * Purna Chandra Mandal <purna.mandal@microchip.com> |
| * |
| * SPDX-License-Identifier: GPL-2.0+ |
| * |
| */ |
| |
| #include <common.h> |
| #include <dm.h> |
| #include <clk.h> |
| #include <mach/pic32.h> |
| |
| #ifdef CONFIG_DISPLAY_BOARDINFO |
| int checkboard(void) |
| { |
| ulong rate = 0; |
| struct udevice *dev; |
| |
| printf("Core: %s\n", get_core_name()); |
| |
| if (!uclass_get_device(UCLASS_CLK, 0, &dev)) { |
| rate = clk_get_rate(dev); |
| printf("CPU Speed: %lu MHz\n", rate / 1000000); |
| } |
| |
| return 0; |
| } |
| #endif |