genodelabs/genode — Issue #128: Io_mem_session: Free non-page-aligned areas correctly
Author: ssumpf
Created: 2012-02-25 20:19:15+00:00
State: open

When using IO-memory make sure areas which are not page aligned get actually freed in range allocator.