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
..
gdbserver_libc_support	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
gdbserver_platform	GDB monitor: add support for register writing	2013-10-17 11:04:08 +02:00
libc_noux	noux: add block device file system	2014-01-17 14:04:29 +01:00