[TIP] VirtualBox 를 사용한 커널 디버깅 설정

커널 디버깅을 할 때, PC 2 대를 마련하는 것이 현실적으로 부담이 되기 때문에...

가상 PC 를 이용해서 하는 분들도 꽤 있을텐데요~~

VirtualBox 에서도 Serial Port 를 지원하면서 커널 디버깅이 가능해졌답니다...
( Serial Port 를 지원한 지는 꽤 된 걸로 아는데... 뒷북인거죠. 아.하.하.하..^^;;;;; )


우선 설정하는 방법은 VMWare 나 Virtual PC 와 동일합니다.
( VMWare 에서의 설정하는 방법은 "WinDBG 를 이용한 VMWare 커널 디버깅" 에 정리가 잘 되어 있습니다. )

그저 Serial Port 설정만 해주면 되는거죠~ : )

< 그림.01 > VirtualBox 의 머신 설정

< 그림.02 > '직렬 포트' 설정

머신을 선택하면 오른쪽에 설정값들이 보이는데요. 여기서 "직렬 포트" 를 클릭 후, 설정을 하시면 됩니다.
( 아래와 같이 말이죠~ :) )

1. '직렬 포트 사용하기' 체크
2. 포트 번호 선택
3. 포트 모드 -> '호스트 파이프' 선택
4. '파이프 만들기' 체크
5. 포트/파일 경로 입력

간단하죠~~ : )

WinDbg 설정은 VMWare, Virtual PC 를 사용할 때와 같이 해주시면 됩니다.
( 아, 물론 Guest OS 의 설정도 말이죠~ )

< 그림.03 > WinDbg 의 설정

요기서 중요한 건 VirtualBox 의 '포트/파일 경로' 와 WinDbg 의 'Port' 와 같아야 한다는 것!

별거 아닌 내용이지만~ =_= 포스팅을 늘이려는 의도에서 살포시 올려놓고 갑니다~ : )