for root, dirs, files in os.walk('./src/kernel/'):
                    for name in files:
                        build(name[:-4])