#!/bin/sh

gdb -q -x boot/gdbinit