Летнее время
А как реализован переход на летнее время и обратно в линуксе?
Я правильно понимаю, что вообще говоря, никак?

То есть, ядрёные часы всегда работают в UTC, и там вообще ничего не меняется, а пересчёт в локальное время производится библиотечными функциями типа localtime() исключительно в userspace посредством чтения /etc/timezone (или переменной TZ, или вызова tzset()) и соответствующего файла в /usr/share/zoneinfo/ (ну или где они там хранятся в конкретном дистрибутиве)?

Или я что-то упустил?