1 // SPDX-License-Identifier: GPL-2.0-or-later
11 void platform_init(unsigned long r3, unsigned long r4, unsigned long r5)
13 unsigned long heapsize = 16*1024*1024 - (unsigned long)_end;
16 * Disable interrupts and turn off MSR_RI, since we'll
17 * shortly be overwriting the interrupt vectors.
19 __asm__ volatile("mtmsrd %0,1" : : "r" (0));
21 simple_alloc_init(_end, heapsize, 32, 64);
23 serial_console_init();