Norman Feske
|
0b580628cf
|
file system: track content via version counter
This makes the delivery of CONTENT_CHANGED responses more robust.
|
2017-08-17 10:59:43 +02:00 |
|
Christian Prochaska
|
6a43f3c11a
|
file system: use Id_space instead of Node_handle_registry
Fixes #2436
|
2017-08-17 10:59:43 +02:00 |
|
Emery Hemingway
|
24a9537a27
|
File_system: replace per-handle signals with notification packets
Replace registration and signaling of per-handle signal capabilities
with CONTENT_CHANGED notification packets.
Fix #2397
|
2017-05-31 13:16:01 +02:00 |
|
Emery Hemingway
|
2d50552522
|
Remove Genode namespace from File_system
Fixes #1845
|
2016-01-08 14:48:52 +01:00 |
|
Emery Hemingway
|
55c0a947e4
|
Move generic fs helpers to os/include/file_system
Fixes #1488
|
2015-05-06 10:55:17 +02:00 |
|