mbedOS_default.h

00001 /*******************************************************************************
00002  * Copyright 2016-2018 ARM Ltd.
00003  *
00004  * Licensed under the Apache License, Version 2.0 (the "License");
00005  * you may not use this file except in compliance with the License.
00006  * You may obtain a copy of the License at
00007  *
00008  *     http://www.apache.org/licenses/LICENSE-2.0
00009  *
00010  * Unless required by applicable law or agreed to in writing, software
00011  * distributed under the License is distributed on an "AS IS" BASIS,
00012  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
00013  * See the License for the specific language governing permissions and
00014  * limitations under the License.
00015  *******************************************************************************/
00016 
00017 #ifndef PAL_MBEDOS_CONFIGURATION_H_
00018 
00019 #include "cmsis_os.h"
00020 #include "mbed_version.h"
00021 
00022 #if (defined(MBED_DEBUG) && !defined(DEBUG))
00023     #define DEBUG
00024 #endif
00025 
00026 #ifndef PAL_RTOS_WAIT_FOREVER
00027     #define PAL_RTOS_WAIT_FOREVER osWaitForever
00028 #endif
00029 
00030 #ifndef PAL_NUMBER_OF_PARTITIONS
00031     #define PAL_NUMBER_OF_PARTITIONS 1
00032 #endif
00033 
00034 
00035 #ifndef PAL_FS_MOUNT_POINT_PRIMARY
00036     #if (MBED_VERSION >= 51000)  // 5.10 or above
00037         #define PAL_FS_MOUNT_POINT_PRIMARY    "/default"           //!< User should change this for the his working folder
00038     #else
00039         #define PAL_FS_MOUNT_POINT_PRIMARY    "/sd"
00040     #endif
00041 #endif
00042 
00043 #ifndef PAL_FS_MOUNT_POINT_SECONDARY
00044     #if (PAL_NUMBER_OF_PARTITIONS == 2)
00045         #if (MBED_VERSION >= 51000)  // 5.10 or above
00046             #define PAL_FS_MOUNT_POINT_SECONDARY    "/default2"
00047         #else
00048             #define PAL_FS_MOUNT_POINT_SECONDARY    "/sd2"
00049         #endif
00050     #else
00051         #define PAL_FS_MOUNT_POINT_SECONDARY PAL_FS_MOUNT_POINT_PRIMARY      //!< User should change this for the his working folder
00052     #endif
00053 #endif
00054 
00055 #ifndef PAL_NUM_OF_THREAD_INSTANCES
00056     #define PAL_NUM_OF_THREAD_INSTANCES 1
00057 #endif
00058 
00059 #ifndef PAL_MAX_SEMAPHORE_COUNT
00060     #define PAL_MAX_SEMAPHORE_COUNT 1024
00061 #endif
00062 
00063 #ifndef PAL_USE_INTERNAL_FLASH
00064     #define PAL_USE_INTERNAL_FLASH  1
00065 #endif
00066 
00067 #ifndef PAL_INT_FLASH_NUM_SECTIONS
00068     #define PAL_INT_FLASH_NUM_SECTIONS 2
00069 #endif
00070 
00071 #ifndef PAL_USE_HW_ROT
00072     #define PAL_USE_HW_ROT 0
00073 #endif
00074 
00075 #ifndef PAL_US_HW_RTC
00076     #define PAL_USE_HW_RTC 0
00077 #endif
00078 
00079 // DEVICE_TRNG is a define that mbed-os defines for every board that is configured to have a TRNG
00080 // mbedtls uses this define when gathering entropy 
00081 #if defined(DEVICE_TRNG) && !defined(PAL_USE_HW_TRNG)
00082     #define PAL_USE_HW_TRNG 1
00083 #elif !defined(DEVICE_TRNG) && !defined(PAL_USE_HW_TRNG)
00084     #define PAL_USE_HW_TRNG 0
00085 #endif
00086 
00087 #endif /* PAL_MBEDOS_CONFIGURATION_H_ */