module arch;
import io;


function void init()
{
    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();