mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Committer:
mbed_official
Date:
Mon Feb 15 10:00:10 2016 +0000
Revision:
64:41a834223ea3
Parent:
15:a81a8d6c1dfe
Synchronized with git revision e641fd47cf2a6bafdbe87c743a39772f73edcbe7

Full URL: https://github.com/mbedmicro/mbed/commit/e641fd47cf2a6bafdbe87c743a39772f73edcbe7/

Fixed GCC Compiler warnings

Who changed what in which revision?

UserRevisionLine numberNew contents of line
mbed_official 15:a81a8d6c1dfe 1 /* mbed Microcontroller Library
mbed_official 15:a81a8d6c1dfe 2 * Copyright (c) 2006-2015 ARM Limited
mbed_official 15:a81a8d6c1dfe 3 *
mbed_official 15:a81a8d6c1dfe 4 * Licensed under the Apache License, Version 2.0 (the "License");
mbed_official 15:a81a8d6c1dfe 5 * you may not use this file except in compliance with the License.
mbed_official 15:a81a8d6c1dfe 6 * You may obtain a copy of the License at
mbed_official 15:a81a8d6c1dfe 7 *
mbed_official 15:a81a8d6c1dfe 8 * http://www.apache.org/licenses/LICENSE-2.0
mbed_official 15:a81a8d6c1dfe 9 *
mbed_official 15:a81a8d6c1dfe 10 * Unless required by applicable law or agreed to in writing, software
mbed_official 15:a81a8d6c1dfe 11 * distributed under the License is distributed on an "AS IS" BASIS,
mbed_official 15:a81a8d6c1dfe 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
mbed_official 15:a81a8d6c1dfe 13 * See the License for the specific language governing permissions and
mbed_official 15:a81a8d6c1dfe 14 * limitations under the License.
mbed_official 15:a81a8d6c1dfe 15 */
mbed_official 15:a81a8d6c1dfe 16 #include "mbed_assert.h"
mbed_official 15:a81a8d6c1dfe 17 #include "compiler.h"
mbed_official 15:a81a8d6c1dfe 18 #include "system.h"
mbed_official 15:a81a8d6c1dfe 19
mbed_official 64:41a834223ea3 20
mbed_official 15:a81a8d6c1dfe 21 uint8_t g_sys_init = 0;
mbed_official 15:a81a8d6c1dfe 22
mbed_official 15:a81a8d6c1dfe 23 //called before main - implement here if board needs it ortherwise, let
mbed_official 15:a81a8d6c1dfe 24 // the application override this if necessary
mbed_official 15:a81a8d6c1dfe 25 //TODO: To be implemented by adding system init and board init
mbed_official 15:a81a8d6c1dfe 26 void mbed_sdk_init()
mbed_official 15:a81a8d6c1dfe 27 {
mbed_official 15:a81a8d6c1dfe 28 if(g_sys_init == 0) {
mbed_official 15:a81a8d6c1dfe 29 g_sys_init = 1;
mbed_official 15:a81a8d6c1dfe 30 system_init();
mbed_official 15:a81a8d6c1dfe 31 }
mbed_official 15:a81a8d6c1dfe 32 }
mbed_official 15:a81a8d6c1dfe 33 /***************************************************************/