Seems to be (almost) done. Just need to add flush/invalidate code, perfect memory comparison, cost calculation.