uvisor-lib.h

00001 /*
00002  * Copyright (c) 2013-2016, ARM Limited, All Rights Reserved
00003  * SPDX-License-Identifier: Apache-2.0
00004  *
00005  * Licensed under the Apache License, Version 2.0 (the "License"); you may
00006  * not use this file except in compliance with the License.
00007  * You may obtain a copy of the License at
00008  *
00009  * http://www.apache.org/licenses/LICENSE-2.0
00010  *
00011  * Unless required by applicable law or agreed to in writing, software
00012  * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
00013  * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
00014  * See the License for the specific language governing permissions and
00015  * limitations under the License.
00016  */
00017 #ifndef __UVISOR_LIB_UVISOR_LIB_H__
00018 #define __UVISOR_LIB_UVISOR_LIB_H__
00019 
00020 /* This file translates mbed-specific pre-processor symbols into
00021  * uVisor-specific ones. Then the main uvisor-lib.h file is included. */
00022 
00023 /* mbed uses UVISOR_SUPPORTED to determine whether the full uVisor binaries
00024  * should be included or not. This symbol maps to the uVisor-internal symbol
00025  * UVISOR_PRESENT. */
00026 /* By default uVisor is not supported. */
00027 #if !defined(FEATURE_UVISOR) || !defined(TARGET_UVISOR_SUPPORTED) || defined(TARGET_UVISOR_UNSUPPORTED)
00028 #define UVISOR_PRESENT 0
00029 #else
00030 #define UVISOR_PRESENT 1
00031 #endif
00032 
00033 /* Detect the target using the mbed-specific symbols and determine the MPU
00034  * architecture accordingly. */
00035 #if defined(TARGET_KINETIS)
00036 #define ARCH_MPU_KINETIS
00037 #else
00038 #define ARCH_MPU_ARMv7M
00039 #endif
00040 
00041 /* The uVisor API main header file will use the above definitions. */
00042 #include "uvisor/api/inc/uvisor-lib.h"
00043 #include "uvisor-lib/rtx/rtx_box_index.h"
00044 #include "uvisor-lib/rtx/secure_allocator.h"
00045 
00046 #endif /* __UVISOR_LIB_UVISOR_LIB_H__ */