This fork captures the mbed lib v125 for ease of integration into older projects.

Fork of mbed-dev by mbed official

Committer:
apluscw
Date:
Fri Jul 20 21:24:42 2018 +0000
Revision:
187:92cbb9eec47b
Parent:
144:ef7eb2e8f9f7
Mbed library with source code from mbed lib v125. Posted to ease integration with some older projects.

Who changed what in which revision?

UserRevisionLine numberNew contents of line
<> 144:ef7eb2e8f9f7 1 /* mbed Microcontroller Library
<> 144:ef7eb2e8f9f7 2 * Copyright (c) 2006-2013 ARM Limited
<> 144:ef7eb2e8f9f7 3 *
<> 144:ef7eb2e8f9f7 4 * Licensed under the Apache License, Version 2.0 (the "License");
<> 144:ef7eb2e8f9f7 5 * you may not use this file except in compliance with the License.
<> 144:ef7eb2e8f9f7 6 * You may obtain a copy of the License at
<> 144:ef7eb2e8f9f7 7 *
<> 144:ef7eb2e8f9f7 8 * http://www.apache.org/licenses/LICENSE-2.0
<> 144:ef7eb2e8f9f7 9 *
<> 144:ef7eb2e8f9f7 10 * Unless required by applicable law or agreed to in writing, software
<> 144:ef7eb2e8f9f7 11 * distributed under the License is distributed on an "AS IS" BASIS,
<> 144:ef7eb2e8f9f7 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
<> 144:ef7eb2e8f9f7 13 * See the License for the specific language governing permissions and
<> 144:ef7eb2e8f9f7 14 * limitations under the License.
<> 144:ef7eb2e8f9f7 15 */
<> 144:ef7eb2e8f9f7 16 #include <stdlib.h>
<> 144:ef7eb2e8f9f7 17 #include <stdarg.h>
<> 144:ef7eb2e8f9f7 18 #include "device.h"
<> 144:ef7eb2e8f9f7 19 #include "toolchain.h"
<> 144:ef7eb2e8f9f7 20 #include "mbed_error.h"
<> 144:ef7eb2e8f9f7 21 #include "mbed_interface.h"
<> 144:ef7eb2e8f9f7 22 #if DEVICE_STDIO_MESSAGES
<> 144:ef7eb2e8f9f7 23 #include <stdio.h>
<> 144:ef7eb2e8f9f7 24 #endif
<> 144:ef7eb2e8f9f7 25
<> 144:ef7eb2e8f9f7 26 WEAK void error(const char* format, ...) {
<> 144:ef7eb2e8f9f7 27 va_list arg;
<> 144:ef7eb2e8f9f7 28 va_start(arg, format);
<> 144:ef7eb2e8f9f7 29 mbed_error_vfprintf(format, arg);
<> 144:ef7eb2e8f9f7 30 va_end(arg);
<> 144:ef7eb2e8f9f7 31 exit(1);
<> 144:ef7eb2e8f9f7 32 }