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/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 
platUninitialize(void)33 void platUninitialize(void)
34 {
35     //TODO
36 }
37 
platSleep(void)38 void platSleep(void)
39 {
40     //TODO
41 }
42 
platLogPutchar(char ch)43 void platLogPutchar(char ch)
44 {
45      putchar(ch);
46 }
47 
platInitialize(void)48 void platInitialize(void)
49 {
50     /* set up RTC */
51     rtcInit();
52 
53     //TODO
54 }
55 
platGetTicks(void)56 uint64_t platGetTicks(void)
57 {
58     //TODO
59 
60     return 0;
61 }
62 
platFreeResources(uint32_t tid)63 uint32_t platFreeResources(uint32_t tid)
64 {
65     return 0;
66 }
67 
platPeriodic()68 void platPeriodic()
69 {
70 }
71 
main(int argc,char ** argv)72 int main(int argc, char** argv)
73 {
74     osMain();
75 
76     return 0;
77 }
78