1 // SPDX-License-Identifier: GPL-2.0-or-later 1
2
3 #include <stddef.h>
4 #include "stdio.h"
5 #include "types.h"
6 #include "io.h"
7 #include "ops.h"
8
9 BSS_STACK(8192);
10
11 void platform_init(unsigned long r3, unsigned
12 {
13 unsigned long heapsize = 16*1024*1024
14
15 /*
16 * Disable interrupts and turn off MSR
17 * shortly be overwriting the interrup
18 */
19 __asm__ volatile("mtmsrd %0,1" : : "r"
20
21 simple_alloc_init(_end, heapsize, 32,
22 fdt_init(_dtb_start);
23 serial_console_init();
24 }
25
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.