genode/repos/os/include/os
Norman Feske a99989af40 Separation of thread operations from CPU session
This patch moves the thread operations from the 'Cpu_session'
to the 'Cpu_thread' interface.

A noteworthy semantic change is the meaning of the former
'exception_handler' function, which used to define both, the default
exception handler or a thread-specific signal handler. Now, the
'Cpu_session::exception_sigh' function defines the CPU-session-wide
default handler whereas the 'Cpu_thread::exception_sigh' function
defines the thread-specific one.

To retain the ability to create 'Child' objects without invoking a
capability, the child's initial thread must be created outside the
'Child::Process'. It is now represented by the 'Child::Initial_thread',
which is passed as argument to the 'Child' constructor.

Fixes #1939
2016-05-23 15:52:39 +02:00
..
alarm.h alarm: reposition reprogrammed alarms in queue 2015-08-21 11:00:57 +02:00
attached_dataspace.h Move Attach_*dataspace utils from os to base 2016-05-23 15:52:36 +02:00
attached_io_mem_dataspace.h Move Attach_*dataspace utils from os to base 2016-05-23 15:52:36 +02:00
attached_mmio.h Consider byte offset in Attached_io_mem_dataspace 2015-11-18 12:22:07 +01:00
attached_ram_dataspace.h Move Attach_*dataspace utils from os to base 2016-05-23 15:52:36 +02:00
attached_rom_dataspace.h Move Attach_*dataspace utils from os to base 2016-05-23 15:52:36 +02:00
child_policy_dynamic_rom.h Revised API documentation 2015-04-09 16:04:46 +02:00
config.h Revised API documentation 2015-04-09 16:04:46 +02:00
handle_registry.h os: Add Handle_registry::has_handle 2015-08-21 11:00:58 +02:00
irq_activation.h Thread API cleanup 2016-05-23 15:49:55 +02:00
packet_allocator.h base: const-correctness of Allocator interface 2015-04-17 16:13:22 +02:00
packet_stream.h packet_stream: peek_packet() should be const 2015-12-17 11:12:53 +01:00
path.h os/path.h: new convenience functions 2016-01-13 14:49:11 +01:00
pixel_alpha8.h os: define ALPHA8 pixel format 2014-10-13 15:21:53 +02:00
pixel_rgb565.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
pixel_rgb888.h os: define storage type of rgb888 as 32-bit value 2015-11-27 12:18:52 +01:00
pixel_rgba.h os: improve alpha-channel support for Pixel_rgba 2014-10-13 15:21:53 +02:00
reporter.h xml reporter: support different start node name 2016-05-09 13:09:54 +02:00
ring_buffer.h os: Move Ring_buffer to Genode namespace 2015-04-17 16:13:21 +02:00
server.h Move server API concept to base framework 2016-04-11 11:51:46 +02:00
session_policy.h os: improved label matching 2015-11-29 18:17:05 +01:00
signal_rpc_dispatcher.h Signal_handler: remove num argument from handler 2016-05-09 13:10:52 +02:00
slave.h Separation of thread operations from CPU session 2016-05-23 15:52:39 +02:00
static_root.h Revised API documentation 2015-04-09 16:04:46 +02:00
surface.h Revised API documentation 2015-04-09 16:04:46 +02:00
texture_rgb565.h os: add texture_rgb888.h and texture_rgb565.h 2014-10-13 15:21:53 +02:00
texture_rgb888.h os: add texture_rgb888.h and texture_rgb565.h 2014-10-13 15:21:53 +02:00
texture.h os: add texture_rgb888.h and texture_rgb565.h 2014-10-13 15:21:53 +02:00
timed_semaphore.h Thread API cleanup 2016-05-23 15:49:55 +02:00