ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-01 00:21:33 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/os/include/os
History
Alexander Boettcher e05a708024 os: reset packet_allocator members 
Fixes #2632
2018-02-15 10:22:09 +01:00
..
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
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01: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