| arch ia32 |
| |
| objects { |
| |
| ap = asid_pool (asid_high: 0x1) |
| cnode = cnode (4 bits) |
| cnode2 = cnode (4 bits) |
| ep = notification |
| frame[6] = frame (4k) |
| pd1 = pd |
| pt1 = pt |
| tcb = tcb (addr: 86016, ip: 65536, sp: 77824, prio: 42, max_prio: 254, affinity: 0, fault_ep: 1, dom: 0, init: [10, 15]) |
| |
| |
| } caps { |
| |
| ap {0: pd1} |
| |
| cnode { |
| 0: tcb |
| 1: ep (RWG) |
| 2: cnode (guard_size: 28) |
| 3: frame[5] (RWX) |
| } |
| |
| cnode2 {5: cnode (guard: 1, guard_size: 28)} |
| |
| pd1 {0: pt1} |
| |
| pt1 {16: frame[0..5] (RWX)} |
| |
| tcb { |
| 0: cnode2 (guard_size: 28) |
| 1: pd1 |
| 4: frame[5] (RWX) |
| } |
| |
| } cdt { |
| |
| } irq maps { |
| |
| } |
