Josef Söntgen
400039e1b6
rump_fs: add modification time
...
Issue #1784 .
2019-11-19 14:17:30 +01:00
Christian Prochaska
6a43f3c11a
file system: use Id_space instead of Node_handle_registry
...
Fixes #2436
2017-08-17 10:59:43 +02:00
Norman Feske
29b8d609c9
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
Emery Hemingway
52cc50174f
Amend File_system session with SEEK_TAIL support
...
Used to read or write from the end of a file when multiple packets may
be in transit.
Supported by ram_fs, rump_fs, and vfs servers.
Fixes #1775
2016-05-09 13:10:53 +02:00
Emery Hemingway
55c0a947e4
Move generic fs helpers to os/include/file_system
...
Fixes #1488
2015-05-06 10:55:17 +02:00
Norman Feske
ca971bbfd8
Move repositories to 'repos/' subdirectory
...
This patch changes the top-level directory layout as a preparatory
step for improving the tools for managing 3rd-party source codes.
The rationale is described in the issue referenced below.
Issue #1082
2014-05-14 16:08:00 +02:00