#!/bin/sh

gdb -q -x dev/boot/gdbinit