mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Committer:
screamer
Date:
Tue Aug 02 14:07:36 2016 +0000
Revision:
144:423e1876dc07
Parent:
18:da299f395b9e
Added targets.json file for the supported targets in the release

Who changed what in which revision?

UserRevisionLine numberNew contents of line
mbed_official 15:a81a8d6c1dfe 1 /* mbed Microcontroller Library
mbed_official 18:da299f395b9e 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 15:a81a8d6c1dfe 20 uint8_t g_sys_init = 0;
mbed_official 15:a81a8d6c1dfe 21
mbed_official 15:a81a8d6c1dfe 22 //called before main - implement here if board needs it ortherwise, let
mbed_official 15:a81a8d6c1dfe 23 // the application override this if necessary
mbed_official 15:a81a8d6c1dfe 24 //TODO: To be implemented by adding system init and board init
mbed_official 15:a81a8d6c1dfe 25 void mbed_sdk_init()
mbed_official 15:a81a8d6c1dfe 26 {
mbed_official 15:a81a8d6c1dfe 27 if(g_sys_init == 0) {
mbed_official 15:a81a8d6c1dfe 28 g_sys_init = 1;
mbed_official 15:a81a8d6c1dfe 29 system_init();
mbed_official 15:a81a8d6c1dfe 30 }
mbed_official 15:a81a8d6c1dfe 31 }
mbed_official 15:a81a8d6c1dfe 32 /***************************************************************/