Signal_dispatcher & base-hw

[Martin Stein]

If i didn't misunderstood the function of 'Signal_dispatcher' it should
be provided through a separate header. This is because 'base-hw'
implements the basics of 'base/signal.h' (Signal, Signal_receiver,
Signal_context, Signal_transmitter) by itself, to optimize the code via
specific kernel-mechanisms. But there seems to be no need to add a
specific implementation of 'Signal_dispatcher' because it only .

Am i right?