Added attributes for Hall_Effect.dev