fixed int86 to return correctly from BIOS calls that internally change
[bootcensus] / .gdbinit
1 target remote localhost:1234
2 symbol-file test.sym