///////////////////////////////////////////
// /content/sample_data/PMPConfigregs.S
// Kevin Box, kbox@hmc.edu
// Created 2023-04-09 23:20:54.863039
///////////////////////////////////////////




#include "WALLY-init-lib.h"

main:

/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 0
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |0      | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |1      | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |2      | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |3      | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |4      | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |5      | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |6      | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |7      | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |8      | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |9      | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |10     | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |11     | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |12     | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |13     | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |14     | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |15     | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 0 in mode 0
li t5, 536870975
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 1
li t5, 536871039
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 2
li t5, 536871102
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 3
li t5, 536871198
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 0
li t5, 536871231
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 1
li t5, 536871295
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 2
li t5, 536871358
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 3
li t5, 536871454
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 0
li t5, 536871487
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 1
li t5, 536871551
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 2
li t5, 536871614
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 3
li t5, 536871710
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 0
li t5, 536871743
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 1
li t5, 536871807
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 2
li t5, 536871870
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 3
li t5, 536871966
csrw pmpaddr15, t5


  # write pmpcfg0, output 0x191109019b938b83
li t4, 1806234828062034819
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x181008001c140c04
li t4, 1733894653101739012
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 0
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 1
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |1      | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |2      | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |3      | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |4      | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |5      | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |6      | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |7      | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |8      | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |9      | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |10     | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |11     | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |12     | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |13     | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |14     | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |15     | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |0      | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 1 in mode 0
li t5, 536870975
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 1
li t5, 536871039
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 2
li t5, 536871102
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 3
li t5, 536871198
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 0
li t5, 536871231
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 1
li t5, 536871295
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 2
li t5, 536871358
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 3
li t5, 536871454
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 0
li t5, 536871487
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 1
li t5, 536871551
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 2
li t5, 536871614
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 3
li t5, 536871710
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 0
li t5, 536871743
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 1
li t5, 536871807
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 2
li t5, 536871870
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 3
li t5, 536871966
csrw pmpaddr0, t5


  # write pmpcfg0, output 0x1109019b938b8318
li t4, 1227514141142123288
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x1008001c140c0419
li t4, 1155173425015948313
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 1
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 2
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |2      | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |3      | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |4      | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |5      | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |6      | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |7      | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |8      | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |9      | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |10     | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |11     | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |12     | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |13     | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |14     | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |15     | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |0      | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |1      | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 2 in mode 0
li t5, 536870975
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 1
li t5, 536871039
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 2
li t5, 536871102
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 3
li t5, 536871198
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 0
li t5, 536871231
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 1
li t5, 536871295
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 2
li t5, 536871358
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 3
li t5, 536871454
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 0
li t5, 536871487
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 1
li t5, 536871551
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 2
li t5, 536871614
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 3
li t5, 536871710
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 0
li t5, 536871743
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 1
li t5, 536871807
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 2
li t5, 536871870
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 3
li t5, 536871966
csrw pmpaddr1, t5


  # write pmpcfg0, output 0x09019b938b831810
li t4, 648970879321184272
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x08001c140c041911
li t4, 576491624729942289
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 2
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 3
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |3      | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |4      | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |5      | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |6      | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |7      | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |8      | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |9      | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |10     | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |11     | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |12     | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |13     | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |14     | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |15     | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |0      | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |1      | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |2      | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 3 in mode 0
li t5, 536870975
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 1
li t5, 536871039
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 2
li t5, 536871102
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 3
li t5, 536871198
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 0
li t5, 536871231
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 1
li t5, 536871295
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 2
li t5, 536871358
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 3
li t5, 536871454
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 0
li t5, 536871487
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 1
li t5, 536871551
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 2
li t5, 536871614
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 3
li t5, 536871710
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 0
li t5, 536871743
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 1
li t5, 536871807
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 2
li t5, 536871870
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 3
li t5, 536871966
csrw pmpaddr2, t5


  # write pmpcfg0, output 0x019b938b83181008
li t4, 115848442837209096
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x001c140c04191109
li t4, 7903341188813065
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 3
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 4
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |4      | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |5      | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |6      | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |7      | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |8      | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |9      | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |10     | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |11     | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |12     | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |13     | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |14     | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |15     | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |0      | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |1      | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |2      | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |3      | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 4 in mode 0
li t5, 536870975
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 1
li t5, 536871039
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 2
li t5, 536871102
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 3
li t5, 536871198
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 0
li t5, 536871231
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 1
li t5, 536871295
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 2
li t5, 536871358
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 3
li t5, 536871454
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 0
li t5, 536871487
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 1
li t5, 536871551
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 2
li t5, 536871614
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 3
li t5, 536871710
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 0
li t5, 536871743
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 1
li t5, 536871807
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 2
li t5, 536871870
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 3
li t5, 536871966
csrw pmpaddr3, t5


  # write pmpcfg0, output 0x9b938b8318100800
li t4, 11210457292615976960
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x1c140c0419110901
li t4, 2023255344336144641
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 4
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 5
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |5      | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |6      | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |7      | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |8      | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |9      | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |10     | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |11     | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |12     | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |13     | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |14     | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |15     | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |0      | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |1      | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |2      | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |3      | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |4      | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 5 in mode 0
li t5, 536870975
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 1
li t5, 536871039
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 2
li t5, 536871102
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 3
li t5, 536871198
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 0
li t5, 536871231
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 1
li t5, 536871295
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 2
li t5, 536871358
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 3
li t5, 536871454
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 0
li t5, 536871487
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 1
li t5, 536871551
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 2
li t5, 536871614
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 3
li t5, 536871710
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 0
li t5, 536871743
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 1
li t5, 536871807
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 2
li t5, 536871870
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 3
li t5, 536871966
csrw pmpaddr4, t5


  # write pmpcfg0, output 0x938b83181008001c
li t4, 10631735484709601308
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x140c04191109019b
li t4, 1444534086185583003
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 5
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 6
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |6      | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |7      | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |8      | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |9      | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |10     | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |11     | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |12     | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |13     | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |14     | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |15     | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |0      | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |1      | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |2      | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |3      | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |4      | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |5      | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 6 in mode 0
li t5, 536870975
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 1
li t5, 536871039
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 2
li t5, 536871102
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 3
li t5, 536871198
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 0
li t5, 536871231
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 1
li t5, 536871295
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 2
li t5, 536871358
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 3
li t5, 536871454
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 0
li t5, 536871487
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 1
li t5, 536871551
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 2
li t5, 536871614
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 3
li t5, 536871710
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 0
li t5, 536871743
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 1
li t5, 536871807
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 2
li t5, 536871870
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 3
li t5, 536871966
csrw pmpaddr5, t5


  # write pmpcfg0, output 0x8b83181008001c14
li t4, 10052905250353847316
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x0c04191109019b93
li t4, 865844589318216595
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 6
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 7
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |7      | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |8      | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |9      | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |10     | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |11     | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |12     | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |13     | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |14     | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |15     | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |0      | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |1      | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |2      | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |3      | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |4      | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |5      | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |6      | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 7 in mode 0
li t5, 536870975
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 1
li t5, 536871039
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 2
li t5, 536871102
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 3
li t5, 536871198
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 0
li t5, 536871231
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 1
li t5, 536871295
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 2
li t5, 536871358
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 3
li t5, 536871454
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 0
li t5, 536871487
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 1
li t5, 536871551
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 2
li t5, 536871614
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 3
li t5, 536871710
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 0
li t5, 536871743
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 1
li t5, 536871807
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 2
li t5, 536871870
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 3
li t5, 536871966
csrw pmpaddr6, t5


  # write pmpcfg0, output 0x83181008001c140c
li t4, 9446317844957238284
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x04191109019b938b
li t4, 295285980948829067
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 7
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 8
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |8      | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |9      | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |10     | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |11     | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |12     | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |13     | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |14     | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |15     | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |0      | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |1      | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |2      | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |3      | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |4      | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |5      | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |6      | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |7      | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 8 in mode 0
li t5, 536870975
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 1
li t5, 536871039
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 2
li t5, 536871102
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 3
li t5, 536871198
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 0
li t5, 536871231
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 1
li t5, 536871295
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 2
li t5, 536871358
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 3
li t5, 536871454
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 0
li t5, 536871487
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 1
li t5, 536871551
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 2
li t5, 536871614
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 3
li t5, 536871710
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 0
li t5, 536871743
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 1
li t5, 536871807
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 2
li t5, 536871870
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 3
li t5, 536871966
csrw pmpaddr7, t5


  # write pmpcfg0, output 0x181008001c140c04
li t4, 1733894653101739012
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x191109019b938b83
li t4, 1806234828062034819
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 8
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 9
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |9      | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |10     | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |11     | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |12     | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |13     | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |14     | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |15     | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |0      | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |1      | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |2      | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |3      | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |4      | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |5      | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |6      | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |7      | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |8      | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 9 in mode 0
li t5, 536870975
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 1
li t5, 536871039
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 2
li t5, 536871102
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 3
li t5, 536871198
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 0
li t5, 536871231
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 1
li t5, 536871295
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 2
li t5, 536871358
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 3
li t5, 536871454
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 0
li t5, 536871487
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 1
li t5, 536871551
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 2
li t5, 536871614
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 3
li t5, 536871710
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 0
li t5, 536871743
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 1
li t5, 536871807
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 2
li t5, 536871870
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 3
li t5, 536871966
csrw pmpaddr8, t5


  # write pmpcfg0, output 0x1008001c140c0419
li t4, 1155173425015948313
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x1109019b938b8318
li t4, 1227514141142123288
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 9
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 10
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |10     | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |11     | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |12     | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |13     | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |14     | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |15     | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |0      | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |1      | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |2      | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |3      | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |4      | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |5      | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |6      | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |7      | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |8      | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |9      | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 10 in mode 0
li t5, 536870975
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 1
li t5, 536871039
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 2
li t5, 536871102
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 3
li t5, 536871198
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 0
li t5, 536871231
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 1
li t5, 536871295
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 2
li t5, 536871358
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 3
li t5, 536871454
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 0
li t5, 536871487
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 1
li t5, 536871551
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 2
li t5, 536871614
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 3
li t5, 536871710
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 0
li t5, 536871743
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 1
li t5, 536871807
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 2
li t5, 536871870
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 3
li t5, 536871966
csrw pmpaddr9, t5


  # write pmpcfg0, output 0x08001c140c041911
li t4, 576491624729942289
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x09019b938b831810
li t4, 648970879321184272
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 10
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 11
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |11     | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |12     | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |13     | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |14     | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |15     | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |0      | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |1      | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |2      | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |3      | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |4      | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |5      | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |6      | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |7      | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |8      | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |9      | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |10     | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 11 in mode 0
li t5, 536870975
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 1
li t5, 536871039
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 2
li t5, 536871102
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 3
li t5, 536871198
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 0
li t5, 536871231
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 1
li t5, 536871295
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 2
li t5, 536871358
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 3
li t5, 536871454
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 0
li t5, 536871487
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 1
li t5, 536871551
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 2
li t5, 536871614
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 3
li t5, 536871710
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 0
li t5, 536871743
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 1
li t5, 536871807
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 2
li t5, 536871870
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 3
li t5, 536871966
csrw pmpaddr10, t5


  # write pmpcfg0, output 0x001c140c04191109
li t4, 7903341188813065
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x019b938b83181008
li t4, 115848442837209096
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 11
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 12
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |12     | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |13     | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |14     | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |15     | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |0      | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |1      | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |2      | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |3      | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |4      | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |5      | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |6      | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |7      | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |8      | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |9      | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |10     | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |11     | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 12 in mode 0
li t5, 536870975
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 1
li t5, 536871039
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 2
li t5, 536871102
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 3
li t5, 536871198
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 0
li t5, 536871231
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 1
li t5, 536871295
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 2
li t5, 536871358
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 3
li t5, 536871454
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 0
li t5, 536871487
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 1
li t5, 536871551
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 2
li t5, 536871614
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 3
li t5, 536871710
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 0
li t5, 536871743
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 1
li t5, 536871807
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 2
li t5, 536871870
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 3
li t5, 536871966
csrw pmpaddr11, t5


  # write pmpcfg0, output 0x1c140c0419110901
li t4, 2023255344336144641
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x9b938b8318100800
li t4, 11210457292615976960
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 12
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 13
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |13     | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |14     | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |15     | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |0      | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |1      | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |2      | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |3      | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |4      | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |5      | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |6      | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |7      | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |8      | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |9      | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |10     | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |11     | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |12     | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 13 in mode 0
li t5, 536870975
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 1
li t5, 536871039
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 2
li t5, 536871102
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 3
li t5, 536871198
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 0
li t5, 536871231
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 1
li t5, 536871295
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 2
li t5, 536871358
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 3
li t5, 536871454
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 0
li t5, 536871487
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 1
li t5, 536871551
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 2
li t5, 536871614
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 3
li t5, 536871710
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 0
li t5, 536871743
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 1
li t5, 536871807
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 2
li t5, 536871870
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 3
li t5, 536871966
csrw pmpaddr12, t5


  # write pmpcfg0, output 0x140c04191109019b
li t4, 1444534086185583003
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x938b83181008001c
li t4, 10631735484709601308
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 13
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 14
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |14     | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |15     | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |0      | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |1      | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |2      | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |3      | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |4      | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |5      | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |6      | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |7      | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |8      | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |9      | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |10     | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |11     | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |12     | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |13     | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 14 in mode 0
li t5, 536870975
csrw pmpaddr14, t5

 # configure the pmp address of register 15 in mode 1
li t5, 536871039
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 2
li t5, 536871102
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 3
li t5, 536871198
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 0
li t5, 536871231
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 1
li t5, 536871295
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 2
li t5, 536871358
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 3
li t5, 536871454
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 0
li t5, 536871487
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 1
li t5, 536871551
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 2
li t5, 536871614
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 3
li t5, 536871710
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 0
li t5, 536871743
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 1
li t5, 536871807
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 2
li t5, 536871870
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 3
li t5, 536871966
csrw pmpaddr13, t5


  # write pmpcfg0, output 0x0c04191109019b93
li t4, 865844589318216595
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x8b83181008001c14
li t4, 10052905250353847316
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 14
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


/////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// BEGIN Configuration and Testing Starting at Register: 15
//
// Configuration

  # | Reg   | pmpaddr     | pmpcfg    | L | A    | X | W | R | Comments
  # |15     | 0x2000003f  | 0x83      | 1 | 00   | 0 | 1 | 1 | 0
  # |0      | 0x2000007f  | 0x8b      | 1 | 01   | 0 | 1 | 1 | 1
  # |1      | 0x200000be  | 0x93      | 1 | 10   | 0 | 1 | 1 | 2
  # |2      | 0x2000011e  | 0x9b      | 1 | 11   | 0 | 1 | 1 | 3
  # |3      | 0x2000013f  | 0x01      | 0 | 00   | 0 | 0 | 1 | 4
  # |4      | 0x2000017f  | 0x09      | 0 | 01   | 0 | 0 | 1 | 5
  # |5      | 0x200001be  | 0x11      | 0 | 10   | 0 | 0 | 1 | 6
  # |6      | 0x2000021e  | 0x19      | 0 | 11   | 0 | 0 | 1 | 7
  # |7      | 0x2000023f  | 0x04      | 0 | 00   | 1 | 0 | 0 | 8
  # |8      | 0x2000027f  | 0x0c      | 0 | 01   | 1 | 0 | 0 | 9
  # |9      | 0x200002be  | 0x14      | 0 | 10   | 1 | 0 | 0 | 10
  # |10     | 0x2000031e  | 0x1c      | 0 | 11   | 1 | 0 | 0 | 11
  # |11     | 0x2000033f  | 0x00      | 0 | 00   | 0 | 0 | 0 | 12
  # |12     | 0x2000037f  | 0x08      | 0 | 01   | 0 | 0 | 0 | 13
  # |13     | 0x200003be  | 0x10      | 0 | 10   | 0 | 0 | 0 | 14
  # |14     | 0x2000041e  | 0x18      | 0 | 11   | 0 | 0 | 0 | 15
 # configure the pmp address of register 15 in mode 0
li t5, 536870975
csrw pmpaddr15, t5

 # configure the pmp address of register 0 in mode 1
li t5, 536871039
csrw pmpaddr0, t5

 # configure the pmp address of register 1 in mode 2
li t5, 536871102
csrw pmpaddr1, t5

 # configure the pmp address of register 2 in mode 3
li t5, 536871198
csrw pmpaddr2, t5

 # configure the pmp address of register 3 in mode 0
li t5, 536871231
csrw pmpaddr3, t5

 # configure the pmp address of register 4 in mode 1
li t5, 536871295
csrw pmpaddr4, t5

 # configure the pmp address of register 5 in mode 2
li t5, 536871358
csrw pmpaddr5, t5

 # configure the pmp address of register 6 in mode 3
li t5, 536871454
csrw pmpaddr6, t5

 # configure the pmp address of register 7 in mode 0
li t5, 536871487
csrw pmpaddr7, t5

 # configure the pmp address of register 8 in mode 1
li t5, 536871551
csrw pmpaddr8, t5

 # configure the pmp address of register 9 in mode 2
li t5, 536871614
csrw pmpaddr9, t5

 # configure the pmp address of register 10 in mode 3
li t5, 536871710
csrw pmpaddr10, t5

 # configure the pmp address of register 11 in mode 0
li t5, 536871743
csrw pmpaddr11, t5

 # configure the pmp address of register 12 in mode 1
li t5, 536871807
csrw pmpaddr12, t5

 # configure the pmp address of register 13 in mode 2
li t5, 536871870
csrw pmpaddr13, t5

 # configure the pmp address of register 14 in mode 3
li t5, 536871966
csrw pmpaddr14, t5


  # write pmpcfg0, output 0x04191109019b938b
li t4, 295285980948829067
csrw pmpcfg0, t4

  # write pmpcfg2, output 0x83181008001c140c
li t4, 9446317844957238284
csrw pmpcfg2, t4


// Testing

// END Configuration and Testing Starting at Register: 15
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////


    j done
