Skip to content

Instantly share code, notes, and snippets.

@eamartin
Created January 21, 2014 09:59
Show Gist options
  • Save eamartin/8537371 to your computer and use it in GitHub Desktop.
Save eamartin/8537371 to your computer and use it in GitHub Desktop.
Useful scripts for pintos bootloader assignment
target remote localhost:1234
set architecture i8086
break *0x7c00
layout asm
layout reg
display/7i $pc - 4
#! /bin/sh
pintos --gdb $* -- run alarm-zero > bl.log 2>&1 &
gdb -x ~/.local/gdb_bl_init
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment