935 hw: no overloading of Signal_context constructor
935 base: enable platform specific pager-object source
tmp