// pmpcfg part 1
// Kevin Wan, kewan@hmc.edu, 4/18/2023
// Liam Chalk, lchalk@hmc.edu, 4/25/2023
// locks each pmpXcfg bit field in order, from X = 15 to X = 0, with the A[1:0] field set to TOR.
// See the next part in pmpcfg1.S

#include "WALLY-init-lib.h"
main:

    li t0, 0x90000000
    csrw pmpaddr0, t0
    li t0, 0x00000017
    csrw pmpcfg0, t0

    li t0, 0x90000000
    csrw pmpaddr2, t0
    li t0, 0x00000017
    csrw pmpcfg2, t0

    li t0, 0x90000000
    csrw pmpaddr0, t0
    li t0, 0x00001700
    csrw pmpcfg0, t0

    li t0, 0x90000000
    csrw pmpaddr0, t0
    li t0, 0x00001700
    csrw pmpcfg1, t0

    li t0, 0x90000000
    csrw pmpaddr0, t0
    li t0, 0x00001700
    csrw pmpcfg2, t0

    li t0, 0x90000000
    csrw pmpaddr0, t0
    li t0, 0x00001700
    csrw pmpcfg3, t0

    li t0, 0x90000000
    csrw pmpaddr1, t0
    li t0, 0x00001700
    csrw pmpcfg1, t0

    li t0, 0x90000000
    csrw pmpaddr2, t0
    li t0, 0x00001700
    csrw pmpcfg2, t0

    li t0, 0x90000000
    csrw pmpaddr3, t0
    li t0, 0x00001700
    csrw pmpcfg3, t0

    li t0, 0x90000000
    csrw pmpaddr0, t0
    li t0, 0x00170000
    csrw pmpcfg0, t0

    li t0, 0x90000000
    csrw pmpaddr2, t0
    li t0, 0x00170000
    csrw pmpcfg2, t0

    li t0, 0x90000000
    csrw pmpaddr0, t0
    li t0, 0x17000000
    csrw pmpcfg0, t0

    li t0, 0x90000000
    csrw pmpaddr2, t0
    li t0, 0x17000000
    csrw pmpcfg2, t0

    li t0, 0x8800000000000000
    csrw pmpcfg2, t0
    li t0, 0x88000000000000
    csrw pmpcfg2, t0
    li t0, 0x880000000000
    csrw pmpcfg2, t0
    li t0, 0x8800000000
    csrw pmpcfg2, t0
    li t0, 0x88000000
    csrw pmpcfg2, t0
    li t0, 0x880000
    csrw pmpcfg2, t0
    li t0, 0x8800
    csrw pmpcfg2, t0
    li t0, 0x88
    csrw pmpcfg2, t0
    li t0, 0x8800000000000000
    csrw pmpcfg0, t0
    li t0, 0x88000000000000
    csrw pmpcfg0, t0
    li t0, 0x880000000000
    csrw pmpcfg0, t0
    li t0, 0x8800000000
    csrw pmpcfg0, t0
    li t0, 0x88000000
    csrw pmpcfg0, t0
    li t0, 0x880000
    csrw pmpcfg0, t0
    li t0, 0x8800
    csrw pmpcfg0, t0

    j done