1 /*
2  * Copyright (c) 2008 Travis Geiselbrecht
3  *
4  * Use of this source code is governed by a MIT-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/MIT
7  */
8 #include <lk/err.h>
9 #include <lk/debug.h>
10 #include <platform.h>
11 #include "platform_p.h"
12 
platform_init_mmu_mappings(void)13 void platform_init_mmu_mappings(void) {
14 }
15 
platform_early_init(void)16 void platform_early_init(void) {
17     /* initialize the interrupt controller */
18     platform_init_interrupts();
19 
20     /* initialize the timer block */
21     platform_init_timer();
22 
23     /* initialize the display */
24     platform_init_display();
25 }
26 
platform_init(void)27 void platform_init(void) {
28     platform_init_blkdev();
29 }
30 
31