| #!/usr/bin/env python |
| # Script to check a bios image and report info on it. |
| # |
| # Copyright (C) 2008 Kevin O'Connor <kevin@koconnor.net> |
| # |
| # This file may be distributed under the terms of the GNU GPLv3 license. |
| |
| import sys |
| |
| def main(): |
| # Read in symbols (that are valid) |
| syms = {} |
| for line in sys.stdin.readlines(): |
| try: |
| addr, type, sym = line.split() |
| syms[sym] = int(addr, 16) |
| except: |
| pass |
| |
| c16s = syms['code16_start'] + 0xf0000 |
| c32s = syms['final_code16_start'] |
| f16s = syms['code16_fixed_start'] + 0xf0000 |
| f32s = syms['final_code16_fixed_start'] |
| if c16s != c32s or f16s != f32s: |
| print ("Error! 16bit code moved during linking" |
| " (0x%x vs 0x%x, 0x%x vs 0x%x)" % ( |
| c32s, c16s, f16s, f32s)) |
| sys.exit(1) |
| |
| size16 = syms['code16_end'] - syms['code16_start'] |
| size32 = syms['code32_end'] - syms['code32_start'] |
| sizefree = syms['freespace1_end'] - syms['freespace1_start'] |
| tablefree = syms['freespace2_end'] - syms['freespace2_start'] |
| print "16bit C-code size: %d" % size16 |
| print "32bit C-code size: %d" % size32 |
| print "Total C-code size: %d" % (size16+size32) |
| print "Free C-code space: %d" % sizefree |
| print "BIOS table space: %d" % tablefree |
| |
| if __name__ == '__main__': |
| main() |