genode/repos/os/include
Norman Feske 52e582132f os/vfs.h: handle corner case in join function
When specifying "/" or "" as rel_path to the 'Directory' constructor,
the constructed directory should refer to the same directory. The
implementation of the join utility did not consider this corner case. It
occurred during the attempt to use fs_query with "/" given as path.

This patch also adds a Directory::Entry::dir accessor that returns true
if the entry is a directory.

Fixes #3630
2020-02-20 12:08:16 +01:00
..
audio_in_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
audio_out_session os: clear remaining samples in Audio packet 2019-04-09 12:30:34 +02:00
blit Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
block block_session: new client-side API 2019-05-06 16:15:25 +02:00
block_session Refinements for updated "Genode Foundations" book 2019-05-27 14:52:53 +02:00
decorator base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
file_system base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
file_system_session file-system session: use same dirent size as VFS 2019-11-19 14:54:13 +01:00
framebuffer_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
gpio Remove residual uses of deprecated APIs 2019-02-19 11:12:12 +01:00
gpio_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
gpu_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
init Adaptation to init refactoring 2017-03-24 16:19:56 +01:00
input input: repeat events require valid codepoints 2019-11-19 14:23:54 +01:00
input_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
ldso Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
loader_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
mixer os: avoid using deprecated APIs 2019-01-30 13:49:54 +01:00
net sntp_client: report received transmit timestamp 2019-08-21 12:37:02 +02:00
nic os: explicit cache policy in Nic::Session_component 2019-05-06 16:15:26 +02:00
nic_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
nitpicker_gfx nitpicker: avoid color bleeding 2019-01-07 12:43:23 +01:00
nitpicker_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
os os/vfs.h: handle corner case in join function 2020-02-20 12:08:16 +01:00
packet_stream_rx packet_stream_*: fix missing dissolve on exception 2019-11-19 14:42:22 +01:00
packet_stream_tx packet_stream_*: fix missing dissolve on exception 2019-11-19 14:42:22 +01:00
platform_device Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
platform_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
pointer os: avoid garbage warnings in app/painter 2019-01-07 12:25:45 +01:00
ram_fs ram_fs: increase max file size on 64 bit to 8 GiB 2019-03-18 15:57:00 +01:00
regulator Add missing override annotations 2019-02-19 11:12:11 +01:00
regulator_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
report_rom os: avoid using deprecated APIs 2019-01-30 13:49:54 +01:00
report_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
rtc_session rtc: extended session with set-signal 2019-08-21 12:37:01 +02:00
smbios smbios.h: move to os/include/smbios 2019-11-19 14:54:12 +01:00
spec os: add backtrace utility for arm_64 2020-02-04 16:10:22 +01:00
terminal terminal: clipboard support 2019-07-09 08:58:38 +02:00
terminal_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
trace Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
uart_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
usb base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
usb_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
util utf8: non-character U+fffe as invalid codepoint 2019-08-28 14:22:32 +02:00
vfs Streamline Timestamp::INVALID values 2019-11-21 14:26:27 +01:00