1. 현재 디바이스에서 사용가능한 clock의 종류 확인하기
cat /sys/devices/system/clocksource/clocksource0/available_clocksource
2. 현재 OS에서 사용중인 clock을 확인하기 위해서는
cat /sys/devices/system/clocksource/clocksource0/current_clocksource
사용중인 clock source를 변경하는 방법은 기억이 잘 안난다. 나중에 찾아서 추가하는것으로.....