32 lines
563 B
C
32 lines
563 B
C
/*
|
|
* 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
|