cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

microwatt.c (549B)

      1// SPDX-License-Identifier: GPL-2.0-or-later
      2
      3#include <stddef.h>
      4#include "stdio.h"
      5#include "types.h"
      6#include "io.h"
      7#include "ops.h"
      8
      9BSS_STACK(8192);
     10
     11void platform_init(unsigned long r3, unsigned long r4, unsigned long r5)
     12{
     13	unsigned long heapsize = 16*1024*1024 - (unsigned long)_end;
     14
     15	/*
     16	 * Disable interrupts and turn off MSR_RI, since we'll
     17	 * shortly be overwriting the interrupt vectors.
     18	 */
     19	__asm__ volatile("mtmsrd %0,1" : : "r" (0));
     20
     21	simple_alloc_init(_end, heapsize, 32, 64);
     22	fdt_init(_dtb_start);
     23	serial_console_init();
     24}