/firmware/os/drivers/hall