Skip to main content

in_guest_refuses_host_timed_producers

Function in_guest_refuses_host_timed_producers 

Source
pub const fn in_guest_refuses_host_timed_producers(backend: Backend) -> bool
Expand description

Whether Detcore refuses host-timed signal producers in a run of backend (detcore::Config::in_guest_refuses_host_timed_producers, A5 step 3c slice 0b): on Hermit’s default in-guest route, for both in-guest backends, and never on another backend. The in-guest loader route never calls this, so the setting stays off there: today’s behaviour (D13(a), D26).