Отладчик для отладки моей ОС

Я хочу, чтобы отладчик отлаживал мою ОС. Во многих местах я не могу понять, что не так. Так есть ли какой-нибудь отладчик, который может отлаживать операционные системы? могу ли я сделать это с помощью gdb?