actually, looking at this gpio diagram, it seems that if the management firmware sets a gpio output high, and the project is reading the same pin, it should see a high level