Josef Söntgen c4c43ffc9d noux: add block device file system ... Access to a block session is provided by using the block file system. By specifying the label, each block session request can be routed to the proper block session provider: ! <fstab> ! ... ! <dir name="dev"> ! <block name="blkdev0" label="block_session_0" /> ! </dir> ! ... ! </fstab> In addition to this file system, support for the DIOCGMEDIASIZE ioctl request was added. This request is used by FreeBSD and therefore our libc to query the size of the block device in bytes. Fixes #1010.		2014-01-17 14:04:29 +01:00
..
plugin.cc	noux: add block device file system	2014-01-17 14:04:29 +01:00
target.mk	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00