# microwatt mmu.bin first part of test 2. PRTBL must be set to 0x12000, PID to 1
microwatt_test2 = {
- 0x10000: 0x0930010000000080, # leaf node
+ 0x13920: 0x86810000000000c0, # leaf node
+ 0x10000: 0x0930010000000080, # directory node
0x12010: 0x0a00010000000000, # page table
0x8108: 0x0000000badc0ffee, # memory to be looked up
}