minimal example works
@@ -31,3 +31,6 @@
| |
schedule(2) kickoff
p/x ((pagetable_t*)(((pagetable_t*)(((pagetable_t*)(child.paging_tree.l4.entries[0].address<<12)).entries[0].address<<12)).entries[0].address<<12)).entries[0]
The note is not visible to the blocked user.