2015-04-11 07:44:37 +08:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2014-2015 Wind River Systems, Inc.
|
|
|
|
*
|
2017-01-19 09:01:01 +08:00
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
2015-04-11 07:44:37 +08:00
|
|
|
*/
|
|
|
|
|
2015-12-04 23:09:39 +08:00
|
|
|
/**
|
|
|
|
* @file
|
|
|
|
* @brief Board configuration macros for the fsl_frdm_k64f platform
|
|
|
|
*
|
2015-10-21 00:42:33 +08:00
|
|
|
* This header file is used to specify and describe board-level aspects for the
|
|
|
|
* 'fsl_frdm_k64f' platform.
|
2015-07-02 05:22:39 +08:00
|
|
|
*/
|
2015-04-11 07:44:37 +08:00
|
|
|
|
2015-12-17 21:54:35 +08:00
|
|
|
#ifndef _SOC__H_
|
|
|
|
#define _SOC__H_
|
2015-04-11 07:44:37 +08:00
|
|
|
|
|
|
|
#include <misc/util.h>
|
|
|
|
|
2016-01-23 01:38:49 +08:00
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
2015-04-11 07:44:37 +08:00
|
|
|
/* default system clock */
|
|
|
|
|
|
|
|
#define SYSCLK_DEFAULT_IOSC_HZ MHZ(120)
|
2016-11-04 21:37:32 +08:00
|
|
|
#define BUSCLK_DEFAULT_IOSC_HZ (SYSCLK_DEFAULT_IOSC_HZ / \
|
|
|
|
CONFIG_K64_BUS_CLOCK_DIVIDER)
|
2015-04-11 07:44:37 +08:00
|
|
|
|
|
|
|
/* address bases */
|
|
|
|
|
|
|
|
#define PERIPH_ADDR_BASE_WDOG 0x40052000 /* Watchdog Timer module */
|
|
|
|
|
|
|
|
#ifndef _ASMLANGUAGE
|
|
|
|
|
2017-01-14 00:46:53 +08:00
|
|
|
#include <fsl_common.h>
|
2015-08-06 03:13:36 +08:00
|
|
|
#include <device.h>
|
2015-04-11 07:44:37 +08:00
|
|
|
#include <misc/util.h>
|
2017-10-14 06:45:02 +08:00
|
|
|
#include <random/rand32.h>
|
2015-04-11 07:44:37 +08:00
|
|
|
|
|
|
|
#endif /* !_ASMLANGUAGE */
|
|
|
|
|
2016-01-23 01:38:49 +08:00
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2015-12-17 21:54:35 +08:00
|
|
|
#endif /* _SOC__H_ */
|