required by base-sel4 to turn used page frames back to untyped memory Issue #2044
This directory contains all source codes.