Home | History | Annotate | Download | only in linux 
      1 /*
      2  * Copyright (C) 2016 The Android Open Source Project
      3  *
      4  * Licensed under the Apache License, Version 2.0 (the "License");
      5  * you may not use this file except in compliance with the License.
      6  * You may obtain a copy of the License at
      7  *
      8  *      http://www.apache.org/licenses/LICENSE-2.0
      9  *
     10  * Unless required by applicable law or agreed to in writing, software
     11  * distributed under the License is distributed on an "AS IS" BASIS,
     12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
     13  * See the License for the specific language governing permissions and
     14  * limitations under the License.
     15  */
     16 
     17 #include <plat/inc/rtc.h>
     18 #include <stdbool.h>
     19 #include <stdio.h>
     20 #include <string.h>
     21 #include <pthread.h>
     22 #include <unistd.h>
     23 #include <platform.h>
     24 #include <seos.h>
     25 #include <timer.h>
     26 #include <usart.h>
     27 #include <gpio.h>
     28 #include <seos.h>
     29 #include <mpu.h>
     30 #include <cpu.h>
     31 
     32 
     33 void platUninitialize(void)
     34 {
     35     //TODO
     36 }
     37 
     38 void platSleep(void)
     39 {
     40     //TODO
     41 }
     42 
     43 void platLogPutchar(char ch)
     44 {
     45      putchar(ch);
     46 }
     47 
     48 void platInitialize(void)
     49 {
     50     /* set up RTC */
     51     rtcInit();
     52 
     53     //TODO
     54 }
     55 
     56 uint64_t platGetTicks(void)
     57 {
     58     //TODO
     59 
     60     return 0;
     61 }
     62 
     63 uint32_t platFreeResources(uint32_t tid)
     64 {
     65     return 0;
     66 }
     67 
     68 int main(int argc, char** argv)
     69 {
     70     osMain();
     71 
     72     return 0;
     73 }
     74