Youngseok Choi 3-24

## tips.md

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
          
            
              
              0 comments
            
          
          
            
              
              0 stars
            
          
        
        
          
              
          
          
            
                3-24
                / tips.md
            
            
              Created
              April 23, 2020 14:12
            
              
                핀토스 팁 끄적끄적
              
          
        
      
        
  
      
    GDB 사용법

Setup

shell 하나에서 pintos --gdb ~~~ 
나머지 shell에서 gdb kernel.o 후 target remote localhost:1234
Breakpoints

b process.c:345 : process.c의 345번째 줄에 삽입