| .. |
|
alarm.h
|
Follow practices suggested by "Effective C++"
|
2018-01-17 12:14:35 +01:00 |
|
attached_dataspace.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
attached_io_mem_dataspace.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
attached_mmio.h
|
Streamline exception types
|
2017-05-31 13:16:07 +02:00 |
|
attached_ram_dataspace.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
attached_rom_dataspace.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
buffered_xml.h
|
os: make 'Buffered_xml' util publicly available
|
2018-02-09 13:34:17 +01:00 |
|
child_policy_dynamic_rom.h
|
Follow practices suggested by "Effective C++"
|
2018-01-17 12:14:35 +01:00 |
|
dither_painter.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
duration.h
|
Add millisecond accessor to Genode::Duration value object
|
2017-12-21 15:01:51 +01:00 |
|
dynamic_rom_session.h
|
Follow practices suggested by "Effective C++"
|
2018-01-17 12:14:35 +01:00 |
|
handle_registry.h
|
Follow practices suggested by "Effective C++"
|
2018-01-17 12:14:35 +01:00 |
|
packet_allocator.h
|
os: reset packet_allocator members
|
2018-02-15 10:22:09 +01:00 |
|
packet_stream.h
|
Follow practices suggested by "Effective C++"
|
2018-01-17 12:14:35 +01:00 |
|
path.h
|
Comparision operators for Genode::Path
|
2018-04-10 11:11:51 +02:00 |
|
pixel_alpha8.h
|
os: add template specialization for alpha pixel
|
2017-08-28 16:49:39 +02:00 |
|
pixel_rgb565.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
pixel_rgb888.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
pixel_rgba.h
|
Follow practices suggested by "Effective C++"
|
2018-01-17 12:14:35 +01:00 |
|
ram_session_guard.h
|
Integrate core's RAM service into the PD service
|
2017-05-31 13:16:14 +02:00 |
|
reporter.h
|
os: add 'Expanding_reporter' to os/reporter.h
|
2018-02-09 14:04:06 +01:00 |
|
ring_buffer.h
|
Follow practices suggested by "Effective C++"
|
2018-01-17 12:14:35 +01:00 |
|
server.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
session_policy.h
|
os: removal of deprecated os/config.h (fix #2431)
|
2017-05-31 13:16:22 +02:00 |
|
session_requester.h
|
Follow practices suggested by "Effective C++"
|
2018-01-17 12:14:35 +01:00 |
|
signal_rpc_dispatcher.h
|
Follow practices suggested by "Effective C++"
|
2018-01-17 12:14:35 +01:00 |
|
single_session_service.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
slave.h
|
Integrate core's RAM service into the PD service
|
2017-05-31 13:16:14 +02:00 |
|
static_parent_services.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
static_root.h
|
Follow practices suggested by "Effective C++"
|
2018-01-17 12:14:35 +01:00 |
|
surface.h
|
Follow practices suggested by "Effective C++"
|
2018-01-17 12:14:35 +01:00 |
|
texture_rgb565.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
texture_rgb888.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
texture.h
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
timed_semaphore.h
|
Follow practices suggested by "Effective C++"
|
2018-01-17 12:14:35 +01:00 |
