Я так думаю, что в основе какая-то кнопка (контакты), а дальше ничего не ясно. Описывается ли его наличие стандартом ATX? каким-нибудь другим?
Где хранится состояние его переключений (в CMOS?)
Как этот датчик виден из операционной системы? (нужен модуль I2C или что?)
Если речь идёт про опенсорсный BIOS, то где прочитать про работу с датчиком открытия корпуса?