Roof shell hall sensor

[dannysconnect]

Morning

Does anyone know where the hall sensor for the roof shell gets its magnetic energy from? Is it from the piston inside the ram or from Something else ?