Linux에서 라이브 애플리케이션을 작성 중이지만 Ubuntu의 표준 설치에서 이 기능이 활성화되어 있는지 모르겠습니다 CONFIG_HIGH_RES_TIMERS
. 어떻게 확인할 수 있나요?
저는 우분투 11.04 64비트를 사용하고 있습니다.
답변1
Ubuntu는 커널 구성을 제공합니다 /boot/config-$version
(커널 이미지와 동일한 패키지에 있음 /boot/vmlinuz-$version
). 이 파일은 라이브 시스템이나 다음에서 확인할 수 있습니다.우분투 웹사이트. 선택할 수 있는 이미지는 다양합니다. amd64의 기본값은 다음과 같습니다.-generic
, 바이너리 패키지를 다운로드하고 파일의 압축을 풀 수 있습니다 /boot/config-*
. dpkg 기반 배포판을 실행하지 않는 경우 Debian 패키지를 여는 가장 쉬운 방법은 이를 다음으로 변환하는 것입니다.외계인.
그런데, 이 답변을 작성할 때 우연히 사용할 수 있었던 10.04/-generic/amd64에서 대답은 '예'입니다.
다른 여러 배포판에서도 /boot/config-*
파일을 제공합니다. 다른 사람들은 커널 구성을 사용 가능하게 /proc/config
하거나 유사한 구성을 만들어 실제 시스템에서는 쉽게 볼 수 있지만 바이너리 패키지에는 나타나지 않도록 합니다. 이 경우 라이브 시스템이 없다면 소스 패키지를 확인해야 합니다.
답변2
커널이 구체적으로 어떻게 구성되어 있는지 궁금해하기보다는 _SC_TIMERS 및 clock_getres() 등을 사용하고 싶을 것입니다.
답변3
많은 커널에는 파일 시스템을 통해 노출된 구성 파일의 복사본이 있습니다 proc
.
zcat /proc/config |
grep CONFIG_HIGH_RES_TIMERS
그렇지 않은 경우 커널 파일 자체에서 이를 추출할 수 있는 도구가 커널 소스에 있습니다. (추출하려면 커널 소스 디렉토리와 커널 파일 경로를 사용하십시오.)
/usr/src/linux/scripts/extract-ikconfig /boot/vmlinuz |
grep CONFIG_HIGH_RES_TIMERS