Useful scripts for pintos bootloader assignment

gdb_bl_init

target remote localhost:1234
set architecture i8086
break *0x7c00
layout asm
layout reg
display/7i $pc - 4

pintos-bl

#! /bin/sh                                                                                                                                                                                                           

pintos --gdb $* -- run alarm-zero > bl.log 2>&1 &
gdb -x ~/.local/gdb_bl_init