Timer design (linux), closes #512
Added placeholder to timer description (linux)