#!/bin/sh

gdb -q -x src/boot/gdbinit