platform.h

00001 
00002 /** \addtogroup platform */
00003 /** @{*/
00004 /* mbed Microcontroller Library
00005  * Copyright (c) 2006-2013 ARM Limited
00006  * SPDX-License-Identifier: Apache-2.0
00007  *
00008  * Licensed under the Apache License, Version 2.0 (the "License");
00009  * you may not use this file except in compliance with the License.
00010  * You may obtain a copy of the License at
00011  *
00012  *     http://www.apache.org/licenses/LICENSE-2.0
00013  *
00014  * Unless required by applicable law or agreed to in writing, software
00015  * distributed under the License is distributed on an "AS IS" BASIS,
00016  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
00017  * See the License for the specific language governing permissions and
00018  * limitations under the License.
00019  */
00020 #ifndef MBED_PLATFORM_H
00021 #define MBED_PLATFORM_H
00022  
00023 #include <cstddef>
00024 #include <cstdlib>
00025 #include <cstdio>
00026 #include <cstring>
00027  
00028 #include "platform/mbed_retarget.h"
00029 #include "platform/mbed_toolchain.h"
00030 #include "device.h"
00031 #include "PinNames.h"
00032 #include "PeripheralNames.h"
00033  
00034 #endif
00035  
00036 /** @}*/
00037  
00038