view kernel/arch/vexpressA9.c3 @ 388:e07c2a9abac1

Enabled paging in kernel
author Windel Bouwman
date Fri, 02 May 2014 14:51:46 +0200
parents 6df89163e114
children
line wrap: on
line source

module arch;
import io;


function void init()
{
    // putc(65)
    io.print2("PFR0 = ", pfr0());
    io.print2("PFR1 = ", pfr1());
    io.print2("MMFR0 = ", mmfr0());

    // This below is not compatible with all qemu versions:
    // io.print2("MPUIR = ", arch.mpuir());
}

function void putc(int c)
{
    var int *UART0DR;
    UART0DR = cast<int*>(0x109000); // UART0 DR register when remapped at 1MB
    *UART0DR = c;
}

function void halt()
{
    while(true) {}
}

function int pfr0();
function int pfr1();
function int mmfr0();
// function int mpuir();