blob: d03c794c98722785d7508376006b727f7afef075 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
#!/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
c16e = syms['code16_end'] + 0xf0000
f16e = syms['final_code16_end']
if c16e != f16e:
print "Error! 16bit code moved during linking (0x%x vs 0x%x)" % (
c16e, f16e)
sys.exit(1)
sizefree = syms['freespace1_end'] - syms['freespace1_start']
size16 = syms['code16_end'] - syms['code16_start'] - sizefree
size32 = syms['code32_end'] - syms['code32_start']
totalc = size16+size32
print "16bit size: %d" % size16
print "32bit size: %d" % size32
print "Total size: %d Free space: %d Percent used: %.1f%%" % (
totalc, sizefree
, (totalc / float(size16+size32+sizefree)) * 100.0)
if __name__ == '__main__':
main()
|
