pal_testMbedOS.cpp

00001 /*
00002 * Copyright (c) 2016 ARM Limited. All rights reserved.
00003 * SPDX-License-Identifier: Apache-2.0
00004 * Licensed under the Apache License, Version 2.0 (the License); you may
00005 * not use this file except in compliance with the License.
00006 * You may obtain a copy of the License at
00007 *
00008 * http://www.apache.org/licenses/LICENSE-2.0
00009 *
00010 * Unless required by applicable law or agreed to in writing, software
00011 * distributed under the License is distributed on an AS IS BASIS, WITHOUT
00012 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
00013 * See the License for the specific language governing permissions and
00014 * limitations under the License.
00015 */
00016 #include "PlatIncludes.h"
00017 #include "pal_test_main.h"
00018 
00019 #include "mbed.h"
00020 
00021 #ifndef PAL_TEST_K64F_BAUD_RATE
00022 #define PAL_TEST_K64F_BAUD_RATE 115200
00023 #endif
00024 
00025 #ifndef PAL_TEST_MAIN_THREAD_STACK_SIZE
00026 #define PAL_TEST_MAIN_THREAD_STACK_SIZE (1024*7)
00027 #endif
00028 
00029 
00030 extern int initSDcardAndFileSystem(void);
00031 
00032 Serial pc(USBTX, USBRX);
00033 
00034 bool runProgram(testMain_t func, pal_args_t * args)
00035 {
00036     Thread thread(osPriorityNormal, PAL_TEST_MAIN_THREAD_STACK_SIZE);
00037     thread.start(callback(func, args));
00038     wait(1); // to be on the safe side - sleep for 1sec
00039     bool result = (thread.join() == osOK);
00040     return result;
00041 }
00042 
00043 
00044 bool initPlatform(void)
00045 { 
00046     pc.baud (PAL_TEST_K64F_BAUD_RATE);
00047     int err = initSDcardAndFileSystem();
00048     if (err < 0)
00049     {
00050         return false;
00051     }
00052     return true;
00053 }