generate_symbols.py

#!/usr/bin/env python3
"""
    Generate a symbol table from nm output.
"""

import sys

# Write extern + type
def extern(name):
    print(".extern %s" % (name))
    print(".type %s, @function" % (name))
    print("")

# Write an entry
def entry(name):
    print(".long %s" % (name))
    print(".asciz \"%s\"" % (name))
    print("")

ignore = [ "abs", "kernel_symbols_start", "kernel_symbols_end" ]
lines = [ x.strip().split(" ")[2] for x in sys.stdin.readlines() if x not in ignore ]

# Generate the assembly
print(".section .symbols")
print("")
for name in lines:
    extern(name)

print(".global kernel_symbols_start")
print("kernel_symbols_start:")
print("")
for name in lines:
    entry(name)

print(".global kernel_symbols_end")
print("kernel_symbols_end:")