~james/split

ref: 034f655e01705b2f81bd72540021f2aeef3ef441 split/Reuse.thy -rw-r--r-- 10.0 KiB 
feat(reuse): preserve zeroed unmapped frames across pool operations