genode/repos/os/include
Norman Feske cde8163770 os: make 'Buffered_xml' util publicly available
The 'Buffered_xml' utility is used by three components and a fourth is
on the way. To avoid another duplication of the code, this patch makes
it publicly available at 'os/buffered_xml.h'.
2018-02-09 13:34:17 +01:00
..
audio_in_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
audio_out_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
blit
block Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
block_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
cli_monitor Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
decorator
file_system Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
file_system_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
framebuffer_session
gpio Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
gpio_session
gpu_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
init
input Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
input_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
ldso
loader_session Remove unused os/alarm.h include from loader 2017-10-19 13:29:41 +02:00
mixer Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
net net: remove unused enums 2018-01-17 12:14:41 +01:00
nic Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
nic_bridge
nic_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
nitpicker_gfx Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
nitpicker_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
os os: make 'Buffered_xml' util publicly available 2018-02-09 13:34:17 +01:00
packet_stream_rx Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
packet_stream_tx Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
platform_device Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
platform_session
pointer pointer: custom pointer shape support 2017-11-30 11:23:22 +01:00
ram_fs Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
regulator Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
regulator_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
report_rom Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
report_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
rtc_session
spec Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
terminal terminal: cursor-key handling w/o set key layout 2017-10-05 17:39:59 +02:00
terminal_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
timer Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
timer_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
trace
uart_session
usb Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
usb_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
util os: add Color::print, enhance ascii_to<Color> 2017-11-30 11:23:14 +01:00
vfs vfs: skip synced file systems in complete_sync 2018-01-17 12:14:43 +01:00