L4Re/OLD/blockserver

Graph

(0) +60 tip
Merged concurrent branches.
Added initial support for exposing a block device as a dataspace.
Replaced the fixed region buffer size with the actual dataspace size.
Added copyright and licensing information.
Update the size after a write operation.
Allocate memory to hold the filesystem image and to actually permit writing.
Support writing and open flags.
A simple block device server.
(0) +60 tip