Translate depurador de kernel from Spanish to English

– A debugging application that refines and debugs an operating system image. The kernel debugger works like an application debugger except that it is capable of debugging operating systems in addition to applications. ¹