커널을 변경 하고 싶을 경우가 있다. 최초 인스톨 시 커널이 여러개 존재 하는데 내 PC에 맞는 커널 버전이 무엇인지 모를 때는 여러 버전의 커널로 부팅을 시도 해 보아야 한다.

부팅을 하기 위해서는 사전 작업이 필요 하다. 일단 커널 파일을 루트 ( / )에 위치 시킨다. 그런 다음 부팅을 할 때 다윈 부트로더 에서 부트 옵션으로 해당 커널의 파일 이름을 적고 부팅 하면 해당 커널로 부팅을 시도 한다.
 
ex : new_kernel -v -f

부팅이 잘 된다면 다른 프로그램이나 드라이버도 잘 작동 하는지 확인 한 다음 잘 안되면 그냥 지우면 된다.

만약 커널을 바꾸고 싶다면 기존의 mach_kernel 파일을 지우고 해당 커널의 이름을 mach_kernel로 이름을 바꾸어 주면 된다.

출처 : Here 5번째 댓글

+ Recent posts